# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 7d06ea0102b93e69c16f28f05c81b134437a02be
output_heap: 0f7e11bbd05936fa17fbf99070af712853e1de38
uuid: b76d7720-e14d-43c4-960c-fe7b5c95f105
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
b5dd907c121bcff21cc1c1562d33b1bab21bbfa9


