# isabelle_session_info

session_name: Regular_Algebras
sources: 680cf8b2fc03e3eb2d9f76d2624f249ff502bf91
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
935805d7e466a1e1742dacffaa04970242dd315e
273bbea7dc2aac0aaf2af1f9945138e04fb09c45


