doc-src/TutorialI/Rules/Basic.thy
changeset 11247 a9c8861e84a9
parent 11244 ca1de97d67c8
child 11407 138919f1a135