# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 3c8f03521bdd94cc08e02e023d9304cd3e8641cc
output_heap: 3c0008ff1ca941553b703ab7bb57d8c67d4929d5
input_heaps:
ae17b97f9975a58f49edf9948881ca3e82dad276
a1e2147b15fbe11193d38b22e9fc5ba6c17a7dfc
d6bbd7b0c497bb0152198de69a309e7bb0cee4ee


