Fri, 24 May 2013 15:43:10 +0100 | Christian Urban |
added definitions and proofs for right-std and left-std tapes | changeset | files |
Wed, 22 May 2013 13:50:20 +0100 | Christian Urban |
moved new theries into a separate directory | changeset | files |
Tue, 21 May 2013 13:50:15 +0100 | Christian Urban |
added more about UF | changeset | files |
Tue, 21 May 2013 13:49:31 +0100 | Christian Urban |
more about the UF | changeset | files |
Thu, 16 May 2013 07:19:26 +0100 | Christian Urban |
completed coding functions | changeset | files |
Wed, 15 May 2013 15:07:27 +0100 | Christian Urban |
added recusive functions that decode triangle numbers | changeset | files |
Mon, 13 May 2013 15:28:48 +0100 | Christian Urban |
added | changeset | files |