# isabelle_session_info

session_name: HOL-Algebra
sources: 63b98f33f919b1c470a24bdeac7b6b8345afda11
output_heap: 3177bf4627dc19e8f04b6c6e940c92d10f76802d
input_heaps:
1bc35d9f5c260a07418d50e521d7d63c2a5eee08
ceb5af7e7710e56d8e11a352c6a6268c805bceaa
61286f221934408c604d798e58d2aec64645c74e
d87520c0f30a1d889cca15a4661e082d51465172


