# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 843ab18bfd4df07198802c10e335736d4cf90dd2
input_heaps:
41c19be3f36616b14c5f74fb8791e46be930a98f
f738d32c8c714829016adbf642e3879ffef6c4ff
50c506d79f4bb7608e9937ecf0c0571af281acd1


