| Fri, 10 May 2013 09:06:48 +0100 | Christian Urban |
added test version | file | diff | annotate |
| 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 |