# isabelle_session_info

session_name: HOL-Nominal
sources: 0459b5d9305315e952c2af39a1cef3da4c461b4b
output_heap: 47f7277d67dd744a5bad4f0d66833ced0d0f4c05
input_heaps:
62b46d030507eff717bda6aaba560c4c46c9bcf8
728829bd792d2c691813ae1727b2f161c6b300e4
6936f50eab0d036301e4d9070b064deb9e87086a


