# isabelle_session_info

session_name: HOL-ex
sources: 0083e6e6b7d4729a6aa28067f820982d6f4d4c8b
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
ae93bc16e6e158541fef6fda0961126710931c9c
20dd107fae6533664b8b2d9edcd40357a9e44e55
899dfdb13a1dfa0f8ff8f2ba281601c71620ebef


