Tue, 02 Jan 2001 12:04:33 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
Wed, 13 Dec 2000 09:39:53 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
Sun, 26 Nov 2000 10:48:38 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
Tue, 07 Nov 2000 18:38:24 +0100 | paulson | better discussion of rule induction | file | diff | annotate |
Thu, 26 Oct 2000 11:27:48 +0200 | paulson | added the $Id:$ line | file | diff | annotate |
Wed, 25 Oct 2000 17:43:34 +0200 | paulson | Even numbers section of Inductive chapter | file | diff | annotate |