tphols-2011/myhill.pdf
2011-02-02 urbanc removed the inductive definition of Star and replaced it by a definition in terms of pow
2011-01-31 zhang Myhill.thy IsabelleMakefile modified
2011-01-31 urbanc a bit more on the paper
2011-01-30 urbanc revised proof of Ardens lemma
2011-01-29 zhang Myhill.thy and Myhill_1.thy changed.
2011-01-28 wu test
2011-01-27 urbanc added my changes again
less more (0) -10 -7 tip