# isabelle_session_info

session_name: HOL-Algebra
sources: b4e67fa1d64716b23fd64200719c9dea1e99582f
output_heap: bb93220e6ee8a41e0ef76a7b45ad5fd0a55c1be9
input_heaps:
9601253344229b35f7145f2143ac6522b5caf531
6ce3cde7225540c5abb96978d43647709608ce58
0c8ec0975b5ca198ee927e1ca023f7a547d4d4d4
33f3ceb194e7b944fb62baf2e98a9ffefd7ab6af


