2011-02-10 | urbanc | latest on the paper | file | diff | annotate |
2011-02-10 | urbanc | more on paper | file | diff | annotate |
2011-02-09 | urbanc | added Xingyuan's changes with the while combinator | file | diff | annotate |
2011-02-09 | urbanc | a bit more on the paper | file | diff | annotate |
2011-02-09 | urbanc | added something about Setalt and folds | file | diff | annotate |
2011-02-09 | urbanc | deleted the non_empty invariant | file | diff | annotate |
2011-02-09 | urbanc | tuned comments and names in Myhill_1 | file | diff | annotate |
2011-02-08 | urbanc | more direct definitions | file | diff | annotate |
2011-02-08 | urbanc | deleted lam_of | file | diff | annotate |
2011-02-08 | urbanc | started to define things more directly | file | diff | annotate |
2011-02-08 | urbanc | added an abbreviation for folds ALT NULL | file | diff | annotate |
2011-02-07 | urbanc | parts of the 3 section | file | diff | annotate |
2011-02-07 | urbanc | more on the paper | file | diff | annotate |
2011-02-06 | urbanc | slightly more on the paper | file | diff | annotate |