# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: e819a01d53ded78b6e0f696366c6cf3437a6e9ea
output_heap: a3e00a75176ffb3a4926f71b13743c4095a76aed
uuid: 893e0567-1510-4549-b5e0-2dd1d4fcde95
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66


