# isabelle_session_info

session_name: HOL-Nominal
sources: 89abfc44f34398d05c6f2bf5646cd87cc6c29377
output_heap: 77ea34bfdd8e56853a6d1ff61184859aaadc2255
input_heaps:
40d35f92060f57be7e534389481a5efb493217ff
23dce64ed4db5c6ce048649289ec788386d1a713
c08726d9821c77292350defb95f0e1f7ad47b046


