# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 0ded5992744915b37f29aa283ba42327256dd3f1
output_heap: 5986eae7bfa3c726df839108d444a0b3bb3717a5
input_heaps:
6cddc4affe5c2168acd960501c3b8e0a87b46c52
836e6c5126283467c7477ad029076bcafced66f8
5b27ba0d99c4bd0098637ce9f29ef707026afa33


