# isabelle_session_info

session_name: Residuated_Lattices
sources:
2a6ab331f01713caa21b5d324f1b6795c1733194
4682e5ffb03f0092b8727ff023d636a584a972cc
4d2328a10d4e4e7e2713fd434cf5930940608b89
9b7dea633e1b1d2aec3e0709cde4e11703c24ffd
b1ac9833c893dabe3a7786b32f206432c078a9f3
d79d8c48769f49b782b0b5e0a8115e8775c4e424
dcf72e91e06727e7fb4ae7065ac35a670bf5bd9e
e23218f33c9ba43f226683bbab6cf88af67f53b1
ee6dffdc2c820925b26acb1eb32135bd7f76bfe8

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
c3aba271b4d6fc7df41178c8fbac485c1a7e5bde
3dfa7cadaf137ea0b163bab4a95989d7be4a0739
93a7319d7a5c1b4c521bf5c99bd6cf99354106d8


