# isabelle_session_info

session_name: HOL-Algebra
sources: b1c60e24e8aff4fca973e9dcc4d76ce1b57be110
output_heap: 8edf74013b6c9dde18f8cdcf620a386b519f0783
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
5db1b95e54d8648ee14dbbb91802b741cedc9545
923ddd484db72a868dc8f43dc408c2001134ab90


