src/FOL/ifol.ML
changeset 5400 645f46a24c72
parent 12 f17d542276b6