src/FOL/fologic.ML
changeset 82883 42595eaf29da
parent 74342 5d411d85da8c