--- a/src/HOL/Library/Library.thy Wed Sep 05 21:09:11 2007 +0200 +++ b/src/HOL/Library/Library.thy Thu Sep 06 11:32:28 2007 +0200 @@ -14,8 +14,6 @@ Efficient_Nat Eval Eval_Witness - Executable_Rat - Executable_Real Executable_Set FuncSet GCD