# isabelle_session_info

session_name: Residuated_Lattices
sources: 32b8e7a1149a12e7b604c2ad26aed2cfee301626
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
a642933183b53fca718dc59a0bff9e3d87623969
71a93aa9ea19d34d00ae2f909a2201608689bcd9
a110af0406419e84e3fda31c3d17a2825211dc29


