| Thu, 21 Apr 2011 12:07:11 +0000 | urbanc | a few more changes | file | diff | annotate |
| Tue, 19 Apr 2011 02:19:56 +0000 | urbanc | implemented most suggestions from the reviewers | file | diff | annotate |
| Wed, 23 Mar 2011 12:17:30 +0000 | urbanc | added the most current versions of the theories. | file | diff | annotate |
| Tue, 15 Mar 2011 11:04:53 +0000 | urbanc | corrected small typo | file | diff | annotate |
| Sat, 05 Mar 2011 11:06:39 +0000 | urbanc | formalisation of first direction is now only 780 loc | file | diff | annotate |
| Sat, 26 Feb 2011 15:44:38 +0000 | urbanc | changed one occurence of tagging function into tagging relation | file | diff | annotate |