# isabelle_session_info

session_name: Regular_Algebras
sources: d7c1c20d8e551c513323d4db12dee516b0f173bd
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
df2adf98ef6b3530a19be3a34867ef9889a95a89


