doc-src/TutorialI/Rules/Forward.thy
changeset 38795 848be46708dc
parent 27658 674496eb5965
child 45617 cc0800432333