# isabelle_session_info

session_name: Residuated_Lattices
sources: ded9752958d19635c043a3cf8cf00574376a4e7f
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
275553f290bf3715b5f77c30bac52d55834fb93b
f7ef73bedf2397bbb6cfc6560fed2984cdddde27


