# isabelle_session_info

session_name: HOL-Algebra
sources: 22086906fd9fda11c61dcd5966a638c1e6bbde71
output_heap: 4a81864deffe25b7e2d6201c076a109c1e8746b5
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
ae93bc16e6e158541fef6fda0961126710931c9c
20dd107fae6533664b8b2d9edcd40357a9e44e55


