| Thu, 16 May 2013 07:19:26 +0100 |
Christian Urban |
completed coding functions
|
file |
diff |
annotate
|
| Wed, 15 May 2013 15:07:27 +0100 |
Christian Urban |
added recusive functions that decode triangle numbers
|
file |
diff |
annotate
|
| Mon, 13 May 2013 15:28:48 +0100 |
Christian Urban |
added
|
file |
diff |
annotate
|
| 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
|
| 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
|