Paper/Paper.thy
2011-02-08 urbanc started to define things more directly
2011-02-08 urbanc small additions
2011-02-07 urbanc parts of the 3 section
2011-02-07 urbanc more on the paper
2011-02-06 urbanc slightly more on the paper
2011-02-05 urbanc more intro
2011-02-04 urbanc more on the introduction
2011-02-03 urbanc more to the intro
2011-02-03 urbanc a bit more tuning on the introduction
2011-02-02 urbanc more on the intro
2011-02-02 urbanc a little bit in the introduction
2011-01-31 urbanc a bit more on the paper
2011-01-30 urbanc small typo
2011-01-30 urbanc tuning of the syntax; needs the stmaryrd latex package
2011-01-30 urbanc some tuning of the paper
2011-01-30 urbanc revised proof of Ardens lemma
2011-01-27 urbanc tuned a little bit the section about finite partitions
2011-01-26 wu ITP-Paper loads Myhill.thy
2010-11-25 urbanc added paper
less more (0) tip