# isabelle_session_info

session_name: Residuated_Lattices
sources: 5739ea3647d1414679dd78e542600f7325098dd0
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
330be591a57e96401a40b8a7be307432b86be4fd
f509c32505ababa9e23819d325d6c30d482742f4
ec43a0fb096046649389d6dd05a55dc5310488ad
eafb5999a3b1cdca9bf1b33e0d657cc43fa4dfee


