# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a8802c8ce5bc1156a04f5be9590f7b19af8a6eea
output_heap: e5634cbc3e53dc0cb7ee1a6042ba43cf38515e53
uuid: 9fbb1dd3-e237-413b-8452-340df8be8117
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
d121f1c3fa0be413c06903becad78f7c07ac4879


