Closure.thy
2011-06-02 urbanc updated theories and itp-paper
2011-05-18 urbanc added directory for journal version; took uptodate version of the theory files
2010-10-19 urbanc added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing)
less more (0) tip