# isabelle_session_info

session_name: Regular_Algebras
sources: ae9f76f2f7c78f0d26159fb4c1cf7309df1e8f27
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
83eab522e6ac69abba7b320df657767fdb1ff2de
bdae5fd1d0594df461d8a84057d291dc469b8eed


