thys/Recs.thy
Wed, 15 May 2013 15:07:27 +0100 Christian Urban added recusive functions that decode triangle numbers
less more (0) -10 -1 tip