# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: c7c74e129d7c0fc33b39900005fa8addfca07245
output_heap: 4cb1a7abe4097c59effaa1adf1bb810ee2004e10
input_heaps:
13c804e8da8a74f383295a6bfe0c4311b16f8b3d
3638ddca034a61397c1cb22b68500e71420bb98c
3502ae365efdf531123a3f7110e5b1be554c347c


