doc-src/IsarImplementation/Thy/Base.thy
changeset 38479 e628da370072
parent 30272 2d612824e642
child 39846 cb6634eb8926