src/FOL/fologic.ML
changeset 47022 8eac39af4ec0
parent 44241 7943b69f0188
child 69593 3dda49e08b9d