# isabelle_session_info

session_name: HOL-Algebra
sources: db585fe33bf26c15b489a8e31a0849ec390d41c3
output_heap: 7cab37a8a3e695971d696f37cc9047d0cd2f12b6
input_heaps:
5904106a4d189718a398af4707433146ca1890af
45bddc69c5b5116a3b7296b1901d051f8dbd9620
e28ce8d3c229fc80deabcdd3d7a131303b78bd4f
d40f9b1b2d1b00a16014cf1259fa2e11f6c79c12


