# isabelle_session_info

session_name: Residuated_Lattices
sources: 79ab9b87c892a0998049ca691f577d0219fc0066
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
04e2628ece6af1d725778cf37e5368e06983deb5
d4a6f3e921d39841f386c3c0f67c9fffcfacaa73
0f68375107caef9c74aae8e47450b86b3137bcee


