doc-src/TutorialI/Rules/Primes.thy
Wed, 10 Jan 2001 12:43:40 +0100 paulson case_tac subgoals
Wed, 10 Jan 2001 11:09:11 +0100 paulson reformatting, and splitting the end of "Primes" to create "Forward"
Fri, 05 Jan 2001 18:32:57 +0100 paulson minor edits to Chapters 1-3
less more (0) -3 tip