Myhill_2.thy
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-05-09 urbanc added comments from Chunhan
2011-03-23 urbanc added the most current versions of the theories.
2011-02-20 urbanc comments by Xingyuan
2011-02-20 urbanc finished picture
2011-02-20 urbanc added pictures for seq-case
less more (0) -10 -7 tip