# isabelle_session_info

session_name: HOL-Algebra
sources: 26dd3e969e7e980beb8768f09c78da2270552987
output_heap: 8607843feccf059955c7c40fda717fcc419e64e9
uuid: 10539580-0362-4961-8c4d-b86e5a4d8b97
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
e19c39bfb3a28ff6190560da43c0c7291dd743e7
47aea242462874fd30cb951636892592f3b54551


