doc-src/TutorialI/Rules/Forward.thy
changeset 13755 a9bb54a3cfb7
parent 13550 5a176b8dda84
child 14403 32d1526d3237