Wed, 20 Oct 2010 14:11:14 +0000 former version has a ugly usage of "overloaded";
wu [Wed, 20 Oct 2010 14:11:14 +0000] rev 6
former version has a ugly usage of "overloaded"; changing this using "overloading" by chunhan
Tue, 19 Oct 2010 11:51:05 +0000 added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing)
urbanc [Tue, 19 Oct 2010 11:51:05 +0000] rev 5
added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing)
(0) -2 +2 +10 +30 +100 +300 tip