# isabelle_session_info

session_name: HOL-Algebra
sources: 37bc7b3eed8c52db77bc3104f765a057c2ef8daf
output_heap: 26bd4aff9c168dbd185c786ba6334b4a93747d5f
input_heaps:
b9edeba120fb42027fe4e7015d7e67e5df110a4f
9f89800180bdcfe5023b0268a9e9c3926bda19cc
99bbe8f4bf76e64fb9a157c64290ad71dc34be73
03209ce3fbddaf950e08c23a0f7f8e35a1be792f


