# isabelle_session_info

session_name: HOL-Algebra
sources: 8f75a07423d568e61ce2c3d5351ae66fca0f5b04
output_heap: 66dbc00dfdee96c69e55a03d8bb3ea8d3f967ccf
input_heaps:
2910a4ddca5ed320a79b5d7a8472877f5003c6d9
315bf5c235bb455547dcc26824308f3938426e05
91fd9eb5ac85034be689d5a4a5f2a5cf9340af9a
af444632f8b464d05522043456e37172d94e2c86


