Sat, 25 May 2013 17:14:52 +0100 | Christian Urban |
more cleaning | changeset | files |
Sat, 25 May 2013 16:40:48 +0100 | Christian Urban |
polished Recs theory | changeset | files |
Sat, 25 May 2013 11:46:25 +0100 | Christian Urban |
finished recusive version of the UF | changeset | files |
Sat, 25 May 2013 01:33:31 +0100 | Christian Urban |
tuned | changeset | files |
Sat, 25 May 2013 01:32:35 +0100 | Christian Urban |
more rec-funs definitions | changeset | files |
Fri, 24 May 2013 22:18:52 +0100 | Christian Urban |
started with the definitions of the recursive functions for the UF | changeset | files |