2011-07-25 | urbanc | made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic | file | diff | annotate |
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 |