| 2013-05-02 | Christian Urban |
polised a bit of the Recs-theory | file | diff | annotate |
| 2013-05-02 | Christian Urban |
eliminated explicit swap_lemmas | file | diff | annotate |
| 2013-05-02 | Christian Urban |
separated recursive functions and UF | file | diff | annotate |
| 2013-05-02 | Christian Urban |
introduced rec_if | file | diff | annotate |
| 2013-05-01 | Christian Urban |
started with UF | file | diff | annotate |
| 2013-04-30 | Christian Urban |
added max and lg functions | file | diff | annotate |
| 2013-04-26 | Christian Urban |
uodated | file | diff | annotate |
| 2013-04-25 | Christian Urban |
added improved Recsursive function theory (not yet finished) | file | diff | annotate |