| Thu, 02 Jun 2011 16:44:35 +0000 | urbanc | updated theories and itp-paper | file | diff | annotate |
| Wed, 18 May 2011 19:54:43 +0000 | urbanc | added directory for journal version; took uptodate version of the theory files | file | diff | annotate |
| Tue, 19 Oct 2010 11:51:05 +0000 | urbanc | added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing) | file | diff | annotate |