2011-06-02 | urbanc | updated theories and itp-paper | file | diff | annotate |
2011-03-23 | urbanc | added the most current versions of the theories. | file | diff | annotate |
2011-01-26 | wu | ITP-Paper loads Myhill.thy | file | diff | annotate |
2010-11-25 | urbanc | added paper | file | diff | annotate |