# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 5a0ab6774b08099a88aafcfd01e598a395e2022f
output_heap: 1cb45336aa3f0257f6e6e8e30b63d034340ae5df
uuid: c92ca899-a907-4bcf-89cf-d4ceb31ea3e7
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
a9348578a6d3bdcc791bc60012afe9c9048c3b9d


