thys/Recs.thy
Thu, 02 May 2013 08:31:48 +0100 Christian Urban introduced rec_if
less more (0) -1 tip