src/FOL/IFOL.ML
changeset 20168 ed7bced29e1b
parent 18914 5a476b10d69c