doc-src/TutorialI/Rules/Forward.thy
changeset 47647 ec29cc09599d
parent 45617 cc0800432333