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