doc-src/TutorialI/Rules/Forward.thy
Fri, 12 Jan 2001 16:05:12 +0100 paulson general revisions
less more (0) tip