src/FOL/IFOL.thy
changeset 23709 fd31da8f752a
parent 23393 31781b2de73d
child 24097 86734ba03ca2