2015-04-10 | Christian Urban |
updated | file | diff | annotate |
2015-03-04 | Christian Urban |
updated R1 and notes | file | diff | annotate |
2015-02-26 | Christian Urban |
added a section about a nullable proof | file | diff | annotate |
2015-02-09 | Christian Urban |
updated some rules | file | diff | annotate |
2015-01-31 | Christian Urban |
added a preliminary part describing the main theorem | file | diff | annotate |
2015-01-30 | Christian Urban |
added line numbers | file | diff | annotate |
2015-01-30 | Christian Urban |
updated more | file | diff | annotate |
2015-01-30 | Christian Urban |
updated | file | diff | annotate |
2015-01-29 | Christian Urban |
added some notes (still incomplete) | file | diff | annotate |