# isabelle_session_info

session_name: HOL-Nominal
sources: 126824e38d8c2e64ebf251bc9f2dddf2182d08c5
output_heap: e98aeef19dfd501f4e792a2d69032e24a4164e8f
input_heaps:
ac77010cd64e2ce720ccfa00fb9a959649c23cdb
3d710a4395e8789e600e9dcf06fb2e71a0affc90
449329c6b2a0b1299542b7d3cc6dddff8f6837ca


