src/Pure/ROOT.ML
changeset 56369 2704ca85be98
parent 56303 4cc3f4db3447
child 56434 7acc933bd7cc
equal deleted inserted replaced
56368:0646f63a02b7 56369:2704ca85be98