# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a4d2323f1a102eb19109ae2369f1c3f90ca04355
output_heap: 61e9d2abdf16f090e0b5280edb4cf2aa2dced83a
uuid: 714a94cb-fda4-4edb-a754-b9f1d59f34a3
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
1f940904e47179bdc7f94b71d87fcc4cb5398a50


