Myhill_2.thy
2011-07-31 urbanc some experiments with the proofs in Myhill_2
2011-07-28 urbanc added a picture
less more (0) -10 -2 tip