# isabelle_session_info

session_name: HOL-Algebra
sources: edd8b8a5040c9213d82d6e0769bb03817d3ba797
output_heap: b09f276d8cc456403799d521884f0a4e1f3b2e0f
input_heaps:
a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff
46bd800d1ac554aa3326cc80d35350ac7980d5d8
2da34adfe87548dd1ef92966e296d93abe94ecad
6b96c2be9421732bd814c60c4635664015ead4d1


