# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 06b03aa773d40324c5d771bdd7772f2e6401406a
output_heap: 5075449c25266d48d60ebde163d397c2cfbc4538
uuid: bcaab3f5-f3b4-4eb8-9ff3-cd7e695d2246
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
ea55cc6d20ed0b560f63ab5dace339389b200e4d


