MyhillNerode.thy
Sun, 24 Oct 2010 01:17:44 +0000 urbanc a few more experiments, but no proof for the ALT-case
less more (0) -1 tip