# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 976f2d1b490c7e8731a4008c86e8229a2771b0f5
uuid: e0cf3903-8bd8-4268-baed-ecb8010a1f58
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
d6f7aca0770b1758984c18a88a36a4ec481d1e1f


