src/FOL/fologic.ML
changeset 28337 93964076e7b8
parent 27325 70e4eb732fa9
child 31974 e81979a703a4
equal deleted inserted replaced
28336:a8edf4c69a79 28337:93964076e7b8