# isabelle_session_info

session_name: Residuated_Lattices
sources: 70c4e0413157cd07ffbbaacb2fcff94947d2c26d
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
e9f51a7c41addecf1f69ca5aff13e0edba7277f3
28a3bf098f3f862248998d07d1712c79fa421673
4a6db0787873108663a640e3af55a0481ef6e701


