src/FOL/FOL.ML
changeset 5400 645f46a24c72
parent 5159 8fc4fb20d70f
child 7355 4c43090659ca