# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 8f921bf7e31cccb4cd025e266bfabe103a61451a
output_heap: e4c6382ee85454ba23aadd108e3ad3762edc7839
input_heaps:
daf53072a7b7da07dacaeec0891eaa6642c159c2
e32a9e161b57c989291c7f5fad06918aacff06a5
acc1a01ff3c9aa58d6357f601c4748f07f6c9558


