src/HOL/Library/Convex.thy
2011-08-10 huffman 2011-08-10 avoid warnings about duplicate rules
2011-06-09 hoelzl 2011-06-09 lemma about differences of convex functions
2010-08-23 haftmann 2010-08-23 dropped type classes mult_mono and mult_mono1; tuned names of technical rule duplicates
2010-05-09 huffman 2010-05-09 avoid using real-specific versions of generic lemmas
2010-05-04 hoelzl 2010-05-04 Add Convex to Library build
2010-05-03 hoelzl 2010-05-03 Moved Convex theory to library.