tphols-2011/myhill.pdf
2011-02-04 zhang Added something to Myhill.thy, trying to explain the relationship between finite automata and language partition.
2011-02-03 zhang Myhill_2.thy added
less more (0) -10 -2 tip