# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 1f6358116342df79d4e88ffb5999df16b779334a
output_heap: b5da14c030503fe12b4407f821b249c1620f03ea
input_heaps:
4dd43a72c508768fac50cdef9695e95242e7fb38
312ccfaf33cb10192929cf5a1eb5ffba69430935
3320c015b4f519af7407bed7ce2713b72d3dc691


