# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 6c4fee2a0dc0495057fc6b04c6ca272eafbf0d7e
output_heap: d40f9b1b2d1b00a16014cf1259fa2e11f6c79c12
input_heaps:
5904106a4d189718a398af4707433146ca1890af
45bddc69c5b5116a3b7296b1901d051f8dbd9620
e28ce8d3c229fc80deabcdd3d7a131303b78bd4f


