# isabelle_session_info

session_name: Regular_Algebras
sources: cce9391cbc7865189d1ff7cee75090b209e45710
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
2fa922e6ab1536cbc5fd40a94ba750e210c04e1f
a8f6118473e04f20778aea4ba0d0504813036f1b


