src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Mar 26 14:53:01 2007 +0200
+++ b/src/HOL/Library/Library.thy	Mon Mar 26 14:53:02 2007 +0200
@@ -10,6 +10,7 @@
   Commutative_Ring
   Continuity
   EfficientNat
+  Eval
   ExecutableRat
   ExecutableSet
   FuncSet