# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 281604d9be5f75da1beddb519333f67b47839ed2
output_heap: 84f87d41f39b2a50674715dada74c76aba5d3863
uuid: 469490f5-baba-4408-a1f1-fc2eadae3205
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0


