Myhill_2.thy
2012-04-13 urbanc made the changes thes 2nd referee suggested and made it to compile again
2011-08-22 urbanc changes according to afp-submission
2011-08-05 urbanc more on the derivatives section
less more (0) -10 -3 tip