thys/notes.tex
2015-02-09 Christian Urban updated some rules
2015-01-31 Christian Urban added a preliminary part describing the main theorem
less more (0) -2 tip