log

age author description
Mon, 02 Dec 2013 10:52:41 +0100 Markus Kaiser typo
Mon, 25 Nov 2013 23:20:13 +0100 Markus Kaiser fix arrows in early slides
Mon, 25 Nov 2013 23:16:14 +0100 Markus Kaiser fix minor errors; sixth slides and sheet
Tue, 19 Nov 2013 14:56:59 +0100 Markus Kaiser rebuild
Tue, 19 Nov 2013 14:55:58 +0100 Markus Kaiser fix neg elimination
Mon, 18 Nov 2013 23:53:41 +0100 Markus Kaiser fix alignment issue
Mon, 18 Nov 2013 23:49:37 +0100 Markus Kaiser fifth slides and sheet
Mon, 18 Nov 2013 15:20:06 +0100 Markus Kaiser fix compilation errors
Mon, 18 Nov 2013 15:12:27 +0100 Markus Kaiser move logic to own file
Sat, 16 Nov 2013 19:05:35 +0100 Markus Kaiser trailing whitespace
Wed, 13 Nov 2013 14:33:22 +0100 Markus Kaiser fix error in equivalences
Tue, 12 Nov 2013 00:34:55 +0100 Markus Kaiser fourth slides and sheet
Tue, 12 Nov 2013 00:34:37 +0100 Markus Kaiser use consistent implication arrow
Wed, 06 Nov 2013 13:54:00 +0100 Markus Kaiser hopefully fix compilation error in funktionen unit
Tue, 05 Nov 2013 00:41:39 +0100 Markus Kaiser Merge