# isabelle_session_info

session_name: HOL-Algebra
sources: bb4a48e78f3cdca12e63e9eb89f8e5d37699e7cc
output_heap: a005aa1e7b201e2f1fa178b2876a94b0163e9d2c
input_heaps:
e7fc28fdd000a6a43da8beffa0fdf0252dd408c4
481d810fe6ad6cfb0b1e2ecee5def91c00401e8b
374a22b68ae9c751c8864e23e93d7421f48308be
8dbf7001b1c08532471d3506529d5580dd8ca3d3


