src/FOL/fologic.ML
changeset 58043 a90847f03ec8
parent 44241 7943b69f0188
child 69593 3dda49e08b9d