# isabelle_session_info

session_name: HOL-Nominal
sources: cebbb28d280e7ffcf0eca7b8ee58a428d92efc40
output_heap: c817e83e6405fdc7e533fa50f8331584a309c61e
input_heaps:
a46db31bb55395b3dbdfc848f24a96e1b1255d76
d3c5454b647092bc2e8b3ae36c1c54bfb48075f5
2e8decf43b35cf896067cfed44596733da0cc7d3


