2013-05-16 | Christian Urban |
completed coding functions | file | diff | annotate |
2013-05-09 | Christian Urban |
added lemmas about a pairing function | file | diff | annotate |
2013-05-02 | Christian Urban |
polised a bit of the Recs-theory | file | diff | annotate |
2013-05-02 | Christian Urban |
repaired old files | file | diff | annotate |
2013-05-02 | Christian Urban |
separated recursive functions and UF | file | diff | annotate |