# isabelle_session_info

session_name: Residuated_Lattices
sources: 8d81255914e6c3f46928df9696769f3cb4c84a0c
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
8b92a806768679e21fcbb96de884495b3ac11adf
d3c7af4e83c570a7b1aa4b6d61ce2ead761f7d46
0f0f6fdf79e2ef94b3bfbdb529711788dcd0b077


