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