| Wed, 07 Sep 2011 18:16:49 +0000 | urbanc | typos | file | diff | annotate |
| Mon, 05 Sep 2011 20:59:50 +0000 | urbanc | tuning on the derivatives and closures theories | file | diff | annotate |
| Mon, 22 Aug 2011 12:49:27 +0000 | urbanc | changes according to afp-submission | file | diff | annotate |