log

age author description
Thu, 10 Apr 2014 00:10:34 +0200 Markus Kaiser Use less dangerous command names default tip
Thu, 10 Apr 2014 00:10:18 +0200 Markus Kaiser be more precise than "predicate logic"
Tue, 25 Feb 2014 00:26:19 +0100 Markus Kaiser nicer euklid; ue15 notes
Sat, 15 Feb 2014 17:57:11 +0100 Markus Kaiser rebuild pdfs
Thu, 06 Feb 2014 01:16:40 +0100 Markus Kaiser qualify modulo operations
Sat, 01 Feb 2014 19:22:52 +0100 Markus Kaiser fourteenth sheet and notes
Tue, 28 Jan 2014 00:42:39 +0100 Markus Kaiser thirteenth sheet and notes