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)
(0) -1 +1 +10 +30 +100 +300 tip