# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e4cd3ad15a82b38740bb81b1c0831f820d8c0f7c
input_heaps:
5610ccee8d50c8faa0a1915bbb604219e8b432ad
13a2690af0797a50544cd9caf6a410f62a2c356a
59d8cc1ec98d871017f4578be044a9985a2ace21


