# isabelle_session_info

session_name: Regular_Algebras
sources: 6956652d93efdcae3f0705dd0eae1ed614663333
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
a642933183b53fca718dc59a0bff9e3d87623969
71a93aa9ea19d34d00ae2f909a2201608689bcd9


