src/Sequents/ROOT.ML
changeset 20157 28638d2a6bc7
parent 17481 75166ebb619b
child 21426 87ac12bed1ab
equal deleted inserted replaced
20156:7a7898b1cfa4 20157:28638d2a6bc7