2011-02-02 | urbanc | removed the inductive definition of Star and replaced it by a definition in terms of pow | file | diff | annotate |
2011-01-31 | zhang | Myhill.thy IsabelleMakefile modified | file | diff | annotate |
2011-01-31 | urbanc | a bit more on the paper | file | diff | annotate |
2011-01-30 | urbanc | revised proof of Ardens lemma | file | diff | annotate |
2011-01-29 | zhang | Myhill.thy and Myhill_1.thy changed. | file | diff | annotate |
2011-01-28 | wu | test | file | diff | annotate |
2011-01-27 | urbanc | added my changes again | file | diff | annotate |