src/HOL/Library/Library.thy
changeset 36648 43b66dcd9266
parent 36147 b43b22f63665
child 36962 5fb251d1c32f
     1.1 --- a/src/HOL/Library/Library.thy	Tue May 04 17:53:20 2010 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue May 04 18:05:22 2010 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4    Code_Integer
     1.5    Continuity
     1.6    ContNotDenum
     1.7 +  Convex
     1.8    Countable
     1.9    Diagonalize
    1.10    Dlist