src/HOL/Library/Convex.thy
Mon, 23 Aug 2010 11:17:13 +0200 haftmann dropped type classes mult_mono and mult_mono1; tuned names of technical rule duplicates
Sun, 09 May 2010 22:51:11 -0700 huffman avoid using real-specific versions of generic lemmas
Tue, 04 May 2010 18:05:22 +0200 hoelzl Add Convex to Library build
Mon, 03 May 2010 14:35:10 +0200 hoelzl Moved Convex theory to library.
less more (0) tip