--- a/src/HOL/Library/Library.thy Tue Sep 18 07:36:38 2007 +0200 +++ b/src/HOL/Library/Library.thy Tue Sep 18 07:46:00 2007 +0200 @@ -12,7 +12,7 @@ Commutative_Ring Continuity Efficient_Nat - Eval + (*Eval*) Eval_Witness Executable_Set FuncSet