| Thu, 09 May 2013 18:16:36 +0100 | Christian Urban |
added lemmas about a pairing function | file | diff | annotate |
| Thu, 02 May 2013 13:19:50 +0100 | Christian Urban |
polised a bit of the Recs-theory | file | diff | annotate |
| Thu, 02 May 2013 12:49:15 +0100 | Christian Urban |
eliminated explicit swap_lemmas | file | diff | annotate |
| Thu, 02 May 2013 11:32:37 +0100 | Christian Urban |
separated recursive functions and UF | file | diff | annotate |
| Thu, 02 May 2013 08:31:48 +0100 | Christian Urban |
introduced rec_if | file | diff | annotate |
| Wed, 01 May 2013 15:56:57 +0100 | Christian Urban |
started with UF | file | diff | annotate |
| Tue, 30 Apr 2013 12:53:11 +0100 | Christian Urban |
added max and lg functions | file | diff | annotate |
| Fri, 26 Apr 2013 01:07:47 +0100 | Christian Urban |
uodated | file | diff | annotate |
| Thu, 25 Apr 2013 21:37:05 +0100 | Christian Urban |
added improved Recsursive function theory (not yet finished) | file | diff | annotate |