thys/notes.tex
2015-04-10 Christian Urban updated
2015-03-04 Christian Urban updated R1 and notes
2015-02-26 Christian Urban added a section about a nullable proof
2015-02-09 Christian Urban updated some rules
2015-01-31 Christian Urban added a preliminary part describing the main theorem
2015-01-30 Christian Urban added line numbers
2015-01-30 Christian Urban updated more
2015-01-30 Christian Urban updated
2015-01-29 Christian Urban added some notes (still incomplete)
less more (0) tip