src/FOL/FOL.thy
changeset 25456 6f79698f294d
parent 24830 a7b3ab44d993
child 26286 3ff5d257f175