Mercurial > 13ws.ds
log notes/tex/logic.tex @ 24:140a0060e2f8
age | author | description |
---|---|---|
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:12:27 +0100 | Markus Kaiser | move logic to own file |