# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 23450e0fb8886ef53e23e01e97e0924e3de281d7
output_heap: 5c740fb61b705d6bddb5b5a9bec9942dccf662c6
uuid: 10c52d2f-0ab8-46e0-b564-5673433402ba
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
aebd6c76484da54bdd8bc867ee7bf6594438e960


