# isabelle_session_info

session_name: HOL-Algebra
sources: 18c3ca0efbc4deede4e13d0ad45720f2cf27f982
output_heap: 11e573bb8688e1825b084fce3e723c709bf5a7f7
input_heaps:
a45a2358f19134d58d1b89fd101453cb9f85e39c
88005f1b2ddfe13d2656c7dc04b6e7a4dbefe132
36aff0865e912ddd1562c677031360c085d3673b
cba8909520fc9d86e91caaec94fb901fb0fb90f8


