Matcher.thy
Thu, 25 Nov 2010 18:54:45 +0000 urbanc added paper
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)
less more (0) tip