# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: cc2b977382cec6c00b02febeb167a074cc39ffcf
output_heap: 975777d7eb82724aea89f887762c4a3d7441c35a
input_heaps:
1e03383fe82b4a32cb7659d421d19498ed052b67
f4d7d4b4a6dce3a1f3342d41a8efd10119d13ae1
0b9b8c5cc5cedff286745c45050810e865dd3729


