# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 7fb0a2ade73309b2f1ff133693a145e4d9f296d2
output_heap: 15d67d306388c473062e8315b972c8774c73994b
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
d1789fe27bb2acdced8c4f59191cd5d99f361f8d


