Wed, 29 Oct 2014 19:01:49 +0100 | wenzelm | modernized setup; | file | diff | annotate |
Thu, 10 Apr 2014 10:36:29 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 20 Sep 2011 05:47:11 +0200 | nipkow | New proof method "induction" that gives induction hypotheses the name IH. | file | diff | annotate |