# isabelle_session_info

session_name: Regular_Algebras
sources: 6a25e47eac38791c39f344204858e2b1585f47da
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
f70eba907dbf0976be67b2c9e5c45b185d88267a
b7b637866aa0ea28362d829d7c89954d75211d81


