# isabelle_session_info

session_name: HOL-Algebra
sources: c9f2c73c78fdb043f49ab48b20d8a6f1337fd560
output_heap: 9b3c882478d20bf60ebfe5b017fa2f8540f667a7
input_heaps:
c3f84dba95bf0709c61a37f27d090eafa0bb6b15
5ec4a71d50b92c5aac197cb7db0025929ac32b1d
22ee0a3c4b20f434779272d6b8481657c3766156
0928814722ccffb98ac334b91ba3e1aca0abb598


