# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4b5ac6c7dbca2d2bf317bb29d937326a3a83ea30
uuid: 5c88e4be-bcbc-49bc-894e-fc35116ce765
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
402658981a28fb74f46b222c3edd40c0807f7b9a


