# isabelle_session_info

session_name: HOL-Nominal
input_heaps: badff2eb78ec951e0416488ed93765ea7e7b8753 75443fb8de963b2ed9e7c9f1ae11bed5ca867354
output_heap: bc39a89d5c0eb7278277afc2d84a1052c7ba0878
sources:
0b7be302db04bb48259acb49bf498330f9feee1d
0da2a0c779f73fa4d68ba73acc7c8256db9aa224
39c9c88bc368740335af63ee0f783764c50d575c
5117119a178eac69d137fb85243808da2d667eaf
66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d
6adda71d7b17778aab6a1dfaa6291add1cdbee4c
7bb2894bf6b2b1879e224f67e577c429b34466a5
84d02217878a0ded53c9969d4cbefdb5baec3adc
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
abd154de58055607dcb6b8efcb621e40c5efe9f0
b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d304ff8f2735b458ceee0ee48c87a3dda11b05c7
d75db1d9c8bcf6bbb6548235e3c7c906b36b92da
f612bc828037d6b79efe4fbae9e84b91c46ca856


