# isabelle_session_info

session_name: HOL-Algebra
sources: f455c4253e09a8d20479c7e68420d46e033fbe03
output_heap: 942e1312bac980318670f7cb9441f5e99ac41ed4
uuid: f8fe34f5-5427-4f71-ad59-6fad41554a05
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
ccb906bbf7d2c0088aacce5c05e6faf30061923b
979ead9585b9078300ea42be5b4aa7abb800e08e


