# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 3da51e798fe588981553e7528205861b89223192
output_heap: 0b0d65f035a5ed238bc0956fc2dd5dfbb037d46e
input_heaps:
39fd57141f5956da5dc3f7b7eb06f36b9d32f6a7
945f328ae679b2c2573e1277807dc9c4099a3d18
a178155c1a0676d4dd3d5a192c4219c00b504cee


