src/FOL/fologic.ML
changeset 72753 e8da2cfdfcff
parent 69593 3dda49e08b9d