# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: a1b360f9d705a41c2deb6d74fb9eb0e3c9f0d232
input_heaps:
f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e
3b15936e361c4485de36e5ecf4f1f2e8f445e71b
967f51eb5707e938cbfcaca5d7f6d7a919e3d9f0
e9b5d464d2658ed0fa2c80cb0ef0884a7ee05b3b


