# HG changeset patch
# User haftmann
# Date 1174913582 -7200
# Node ID eb70ed79dac72c66614f8f4788d69dcaf23254de
# Parent  21c221e1c8ebd6b2d3991fda1bf1ed1e6ef1a8fe
importing Eval theory

diff -r 21c221e1c8eb -r eb70ed79dac7 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