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 |