# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0c58cd28f5ff653bb50c0cc36db40a68b2c71849
input_heaps:
d5c32f798d9322f44635e87a68b325071c15ce5e
8cfb939097b42be473a6f81320c8bde51d22adb6
cedc811e0e22f2d9d825455ab23ecb2cc69b4e29


