Myhill_2.thy
2011-02-03 zhang Myhill_2.thy added
less more (0) tip