# isabelle_session_info

session_name: Residuated_Lattices
sources: 37850bbcb740225b65f67aff75520e3a276a52fd
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
fe66c2c36135e85ba51db5f3041b01702c8e4117
67d9cf05d4a0db88d11cefb6fe7f90d2f68e5f48
513098840ff54f45308c1fb6542f6729d3024964


