src/FOL/IFOL.thy
changeset 67087 733017b19de9
parent 63906 fa799a8e4adc
child 68816 5a53724fe247