doc-src/TutorialI/Rules/Basic.thy
changeset 44348 40101794c52f
parent 42209 bc7d938991e0