# isabelle_session_info

session_name: HOL-Nominal
sources: b3a26aaa708f9ba6f5897deb6806350b2866e890
output_heap: 8a81fd3710b9d69d04038ae14652fb2db4882ecd
input_heaps:
1b9d791c9837b33e4a03e5886fe2246de351b574
478d747829b3e0420f00bb750e519db44f764c62
640afc322e9bdef9d742a1f88c32302153377004


