Journal/ROOT.ML
2011-09-05 urbanc added section about SUBSEQ and SUPSEQ
2011-08-03 urbanc cleaned up the proofs in Myhill_2
2011-07-25 urbanc more on the journal paper
2011-06-02 urbanc added a journal version
2011-05-18 urbanc added directory for journal version; took uptodate version of the theory files
less more (0) tip