MyhillNerode.thy
2010-10-03 urbanc test
2010-10-03 urbanc added initial version by Chunhan
less more (0) tip