Paper/ROOT.ML
2011-07-25 urbanc made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic
2011-06-02 urbanc updated theories and itp-paper
2011-03-23 urbanc added the most current versions of the theories.
2011-01-26 wu ITP-Paper loads Myhill.thy
2010-11-25 urbanc added paper
less more (0) tip