src/Sequents/ROOT.ML
changeset 5906 1f58694fc3e2
parent 5210 54aaa779b6b4
child 6349 f7750d816c21
equal deleted inserted replaced
5905:68cdba6c178f 5906:1f58694fc3e2