# isabelle_session_info

session_name: HOL-Algebra
sources: aa35ba4a91a7b2da8656333825f8afc04a005b6b
output_heap: 72abcd2035f3a7b9753c4decbcffc644787a5c49
input_heaps:
2b741fa2ed8a0e813cd5871c2da862936da19705
9f48442a01b557873bc8bbe04241e035c7b55e33
95f4974c65e4ab5e8a96b646db7d863420f4f2c2
be6fcd367df6a2f08d64c62c8bb3c274993a0609


