src/FOL/IFOL.thy
changeset 68743 91162dd89571
parent 63906 fa799a8e4adc
child 68816 5a53724fe247
equal deleted inserted replaced
68739:0c62e3b4f4c0 68743:91162dd89571