src/FOL/IFOL.thy
changeset 32705 04ce6bb14d85
parent 32172 c4e55f30d527
child 33369 470a7b233ee5