# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 30bf7a105d99122f3a4b991b80a8771159e1200b
output_heap: 81a44d5707ff9ea4a4000b82ecb3d5ac4ba588bd
input_heaps:
34c3d73a560673e85d6a79ed679f4ac127002b9c
cb7dfd709478d010b69c5220c7d782899ba3b103
1413cd76501485111dc589e55f8106f97f9eef63


