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
2011-07-25 urbanc made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic
2011-06-02 urbanc updated theories and itp-paper
2011-05-18 urbanc added directory for journal version; took uptodate version of the theory files
2011-03-23 urbanc added the most current versions of the theories.
2011-02-17 urbanc completed first direction
2011-02-16 urbanc minor updated
2011-02-16 urbanc filled details in one place
2011-02-15 urbanc updated paper
2011-02-15 urbanc updated paper
2011-02-15 urbanc updated paper
2011-02-14 urbanc updated
2011-02-14 urbanc updated paper
less more (0) -15 tip