# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 6d18cb19a2472bde71e77f9d30c4bd81047454d8
output_heap: 9d0f64d358f28b32135a64e68378ec8c0549f7e1
uuid: e0aa4d13-3a7e-4bd8-84c4-1c41b7210098
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd


