src/FOL/fologic.ML
changeset 72767 f6bf65554764
parent 69593 3dda49e08b9d
equal deleted inserted replaced
72766:47ffeb3448f4 72767:f6bf65554764