doc-src/TutorialI/Rules/Forward.thy
Fri, 12 Jan 2001 16:05:12 +0100 paulson general revisions
Wed, 10 Jan 2001 11:09:11 +0100 paulson reformatting, and splitting the end of "Primes" to create "Forward"
less more (0) tip