2011-09-05 | urbanc | added section about SUBSEQ and SUPSEQ | file | diff | annotate |
2011-08-03 | urbanc | cleaned up the proofs in Myhill_2 | file | diff | annotate |
2011-07-25 | urbanc | more on the journal paper | file | diff | annotate |
2011-06-02 | urbanc | added a journal version | file | diff | annotate |
2011-05-18 | urbanc | added directory for journal version; took uptodate version of the theory files | file | diff | annotate | base |