MyhillNerode.thy
Mon, 08 Nov 2010 01:13:09 +0000 urbanc slight tuning of proof by Chunhan
less more (0) -10 -1 tip