# isabelle_session_info

session_name: HOL-Nominal
sources: b6dddcb9570cd356e8e5dcdc842b23f7367f4c03
output_heap: 3f1a616ae4e3914b4e1d1b3fbeb407f6a3adf0dd
input_heaps:
a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff
46bd800d1ac554aa3326cc80d35350ac7980d5d8
2da34adfe87548dd1ef92966e296d93abe94ecad


