| Thu, 02 Jun 2011 13:59:23 +0200 | wenzelm | some material on "Structured induction proofs"; | changeset | files |
| Wed, 01 Jun 2011 13:06:45 +0200 | wenzelm | some material on "Structured Natural Deduction"; | changeset | files |
| Wed, 01 Jun 2011 12:39:04 +0200 | wenzelm | some material on "Calculational reasoning"; | changeset | files |
| Wed, 01 Jun 2011 12:20:48 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 31 May 2011 22:47:18 +0200 | wenzelm | added Synopsis, with some "Notepad" material; | changeset | files |
| Tue, 31 May 2011 22:18:37 +0200 | wenzelm | more accurate deps; | changeset | files |