Myhill_1.thy
2011-01-27 zhang Trying to solve the confict
less more (0) tip