| 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 |
| 2011-01-27 | zhang | a newer version | file | diff | annotate |
| 2011-01-27 | wu | tuned a bit more the last STAR-proof | file | diff | annotate |
| 2011-01-27 | urbanc | tuned a little bit the section about finite partitions | file | diff | annotate |
| 2011-01-26 | wu | ITP-Paper loads Myhill.thy | file | diff | annotate |
| 2011-01-26 | wu | added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP | file | diff | annotate |