Myhill_1.thy
2011-08-22 urbanc changes according to afp-submission
2011-07-31 urbanc some experiments with the proofs in Myhill_2
2011-07-28 urbanc small improvements
less more (0) -30 -10 -3 tip