thys/notes.pdf
Fri, 10 Apr 2015 22:38:36 +0100 Christian Urban updated
Wed, 04 Mar 2015 19:34:47 +0000 Christian Urban updated R1 and notes
Thu, 26 Feb 2015 16:35:10 +0000 Christian Urban added a section about a nullable proof
Sat, 14 Feb 2015 08:35:21 +0000 Christian Urban updated
Mon, 09 Feb 2015 12:13:10 +0000 Christian Urban updated some rules
Sat, 31 Jan 2015 18:21:03 +0000 Christian Urban added a preliminary part describing the main theorem
Fri, 30 Jan 2015 13:19:15 +0000 Christian Urban added line numbers
less more (0) -7 tip