Myhill_2.thy
2011-05-09 urbanc added comments from Chunhan
less more (0) -10 -1 tip