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 |