# isabelle_session_info

session_name: HOL-Nominal
sources: f1cc9013f62f5d46637ed33a38ff59521fc5b656
output_heap: 688825ee15c4898b2f3def2ddd5d28810dfea035
input_heaps:
1bc35d9f5c260a07418d50e521d7d63c2a5eee08
ceb5af7e7710e56d8e11a352c6a6268c805bceaa
61286f221934408c604d798e58d2aec64645c74e


