# isabelle_session_info

session_name: HOL-Algebra
sources: a76186986140f3b3812dd5c533cb11e5f73b491d
output_heap: 410d7c71df703390ecba0b0b87bb576eb031e36b
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
98e40bd54e0043bfb45e5a21a2cabe0561c43cf7
adc04a021a7e3236a56887b5f43c718c8c243f83


