# isabelle_session_info

session_name: Residuated_Lattices
sources: 0541ab02067d8ad818fa6387ca24ac7fdc665786
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
f02d15e12d351e0b0013c756a00bc158a7ae0707
0fa2f1e87b8f92b3d85ee63235d0587c8d4788fd
e758e5e9e4f5cf66f989619a14d2fa4b3f30798c


