# isabelle_session_info

session_name: HOL-Algebra
sources: f615858e8207262f8ae55d4d23a53d71514b02a4
output_heap: c69c0d161c9cc1cd7edfed18f01db67041c00c1a
input_heaps:
e0e98f91eaf585f03a7abae8b79b7a2007cafdf6
d1246451ba418ca1d195718ae40514cd22ca9d6d
ef3004184019dba9ec559832850c397aa1dbfdc3
851d52f249d4e6748fca0ffad58fad420f8b2e38


