# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: fa7c5c3f50ef975c0a5993062a69ba2475b3d071
output_heap: 8dbf7001b1c08532471d3506529d5580dd8ca3d3
input_heaps:
e7fc28fdd000a6a43da8beffa0fdf0252dd408c4
481d810fe6ad6cfb0b1e2ecee5def91c00401e8b
374a22b68ae9c751c8864e23e93d7421f48308be


