# isabelle_session_info

session_name: HOL-Nominal
sources: fe6f4389af9f8957f32be012db104e59189a4662
output_heap: e65de73839c825f709a4f5a1259d388839329f30
input_heaps:
8a4269a42aca70396b3fb4cbd3bc25030d219b39
83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2d
49cdfb4a7f6e982b095373f190b19532427844c8


