Paper/Paper.thy
Tue, 15 Mar 2011 11:04:53 +0000 urbanc corrected small typo
Sat, 05 Mar 2011 11:06:39 +0000 urbanc formalisation of first direction is now only 780 loc
Sat, 26 Feb 2011 15:44:38 +0000 urbanc changed one occurence of tagging function into tagging relation
Tue, 22 Feb 2011 12:43:05 +0000 urbanc three typos
Mon, 21 Feb 2011 03:35:39 +0000 urbanc one further polishing
Mon, 21 Feb 2011 03:33:27 +0000 urbanc final final polishing
less more (0) -30 -10 -6 tip