thys/Recs.thy
Tue, 30 Apr 2013 12:53:11 +0100 Christian Urban added max and lg functions
less more (0) -1 tip