# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 138694483192f92b89444653100020858aa77f54
input_heaps:
a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff
46bd800d1ac554aa3326cc80d35350ac7980d5d8
2da34adfe87548dd1ef92966e296d93abe94ecad
3f1a616ae4e3914b4e1d1b3fbeb407f6a3adf0dd


