Myhill_1.thy
2011-02-10 urbanc latest on the paper
2011-02-10 urbanc more on paper
2011-02-09 urbanc added Xingyuan's changes with the while combinator
2011-02-09 urbanc a bit more on the paper
2011-02-09 urbanc added something about Setalt and folds
2011-02-09 urbanc deleted the non_empty invariant
2011-02-09 urbanc tuned comments and names in Myhill_1
2011-02-08 urbanc more direct definitions
2011-02-08 urbanc deleted lam_of
2011-02-08 urbanc started to define things more directly
2011-02-08 urbanc added an abbreviation for folds ALT NULL
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
less more (0) -14 tip