Paper/Paper.thy
2011-03-05 urbanc formalisation of first direction is now only 780 loc
2011-02-26 urbanc changed one occurence of tagging function into tagging relation
2011-02-22 urbanc three typos
less more (0) -30 -10 -3 tip