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 |