# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: e4c666c4e460d435a9df09871c0532faa82c61c1
output_heap: 979ead9585b9078300ea42be5b4aa7abb800e08e
uuid: 9e00cf99-c6fd-46a2-a0c8-b07b788ccc8b
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
ccb906bbf7d2c0088aacce5c05e6faf30061923b


