doc-src/TutorialI/Rules/Forward.thy
changeset 11442 8682a88c3d6a
parent 11407 138919f1a135
child 11480 0fba0357c04c