# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 153a1a74b55bbeedcb73b72b39c0e1a0e3012131
output_heap: a7109bfd5d6e251c84e17b3ad0e09baa836fc7ec
input_heaps:
a7e0098c16fd923224d12b7191f69f9fa4d76b8d
47bb6935461017c83f2b18eba239137ac1b6429b
6d7cf6dc69fdde7813b48ebf04886b7ee334a278


