doc-src/IsarImplementation/Thy/ROOT.ML
changeset 19978 df19a7876183
parent 18537 2681f9e34390
child 20472 e993073eda4c