Mon, 03 Oct 2011 11:14:19 +0200 | wenzelm | some amendments due to Jean Pichon; | file | diff | annotate |
Thu, 02 Jun 2011 14:11:24 +0200 | wenzelm | tuned headings; | file | diff | annotate |
Thu, 02 Jun 2011 14:08:46 +0200 | wenzelm | some material on "Generalized elimination and cases"; | file | diff | annotate |
Thu, 02 Jun 2011 13:59:23 +0200 | wenzelm | some material on "Structured induction proofs"; | file | diff | annotate |
Wed, 01 Jun 2011 13:06:45 +0200 | wenzelm | some material on "Structured Natural Deduction"; | file | diff | annotate |
Wed, 01 Jun 2011 12:39:04 +0200 | wenzelm | some material on "Calculational reasoning"; | file | diff | annotate |
Wed, 01 Jun 2011 12:20:48 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 31 May 2011 22:47:18 +0200 | wenzelm | added Synopsis, with some "Notepad" material; | file | diff | annotate |