MyhillNerode.thy
Mon, 08 Nov 2010 01:13:09 +0000 urbanc slight tuning of proof by Chunhan
Sat, 06 Nov 2010 23:31:53 +0000 wu the ALT case is done;
less more (0) -10 -2 tip