src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue May 04 17:53:20 2010 +0200
+++ b/src/HOL/Library/Library.thy	Tue May 04 18:05:22 2010 +0200
@@ -12,6 +12,7 @@
   Code_Integer
   Continuity
   ContNotDenum
+  Convex
   Countable
   Diagonalize
   Dlist