thys/Recs.thy
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
less more (0) -10 -3 tip