# isabelle_session_info

session_name: HOL-Nominal
sources: 7e556e03b1546b726378981d6d6ad03d8016441a
output_heap: 48cf389c743b18f62fb2c97cc8569d51db3fd38a
input_heaps:
0a23064c34709125a075cd68ce8f561e647f6953
6850f216aafc89fdeddfe90aae02e1cda8df6a36
d4244c8c8b45f34e99d88ce9efcf11cfc8d66586


