# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: fc05124791876278dbde729843c140c7459f3cbc
output_heap: f1d7b1fec553606fb8ffa66b10520f8de1b86fd5
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
0c6af15267b265e8188e286a4be24f4639b3ee7b


