src/Sequents/ROOT.ML
changeset 29450 ac7f67be7f1f
parent 24178 4ff1dc2aa18d
child 35762 af3ff2ba4c54
equal deleted inserted replaced
29449:6e7745d35a30 29450:ac7f67be7f1f