# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 2dc7ff3c645a7656a71438221abe8b09068198be
output_heap: 3e8699fe0413b3592b705542d9a68c2405e3cb8f
input_heaps:
27f83cb75cdd20c60083d6072d302ef3062f314e
dd918606b85bd653685a072b9f3f02b489037476
af429f23c024d82741fb51a0825b8f6183de7528


