# isabelle_session_info

session_name: HOL-Nominal
input_heaps: 014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa
output_heap: 195d75d8fe4eb6126f686bcc51470382f3e249a4
sources:
0b7be302db04bb48259acb49bf498330f9feee1d
0da2a0c779f73fa4d68ba73acc7c8256db9aa224
5117119a178eac69d137fb85243808da2d667eaf
66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d
6adda71d7b17778aab6a1dfaa6291add1cdbee4c
84d02217878a0ded53c9969d4cbefdb5baec3adc
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a1c21c76738f6d501d232d9ed3b3548539087a4c
abd154de58055607dcb6b8efcb621e40c5efe9f0
af3a0cc7c2e7a5792f1be06d056e20fb695e4477
b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d75db1d9c8bcf6bbb6548235e3c7c906b36b92da
e98d989b0d56b347c6ee1a9d61645ae944ef72e3
f612bc828037d6b79efe4fbae9e84b91c46ca856


