Myhill_1.thy
2011-02-10 urbanc latest on the paper
2011-02-10 urbanc more on paper
less more (0) -10 -2 tip