# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 34deced61b8b044c35bdf8d72c11af56b3ce6d51
output_heap: 074d41fa08d0278e84f70d5d49854b0b4c90218f
input_heaps:
c2d0fb3b47e8eb977e037c394badcf36d1d2c5a6
b2b478c28d6b0e47d8a42d61ccf723d668135bd8
ca30cf122c68fcafed499ac473b9fe2b3ca2d2c9


