# isabelle_session_info

session_name: HOL-Nominal
sources: e3de3bc063a268c2e7204106175bd5f112987cfc
output_heap: 5d2c8bf31e00cf8d76083f570e074724463f151f
input_heaps:
b91fd754b3729e34bddfb478bfaa24fc6bbe2d01
151f185782dfbe53b60647561f4609fab6758491
12325b8dd6f64782909258f50760365629cb5271


