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