Journal/Paper.thy
2011-08-03 urbanc cleaned up the proofs in Myhill_2
2011-08-02 urbanc a version of the proof which dispenses with the notion of string-subtraction
2011-07-31 urbanc some experiments with the proofs in Myhill_2
2011-07-28 urbanc added a picture
2011-07-28 urbanc small improvements
2011-07-28 urbanc added more examles
2011-07-28 urbanc more one the paper
2011-07-27 urbanc latest version of the journal paper
less more (0) -10 -8 tip