--- a/src/HOL/Library/Library.thy Mon Feb 26 20:14:52 2007 +0100 +++ b/src/HOL/Library/Library.thy Mon Feb 26 21:34:16 2007 +0100 @@ -27,6 +27,7 @@ Quotient Ramsey State_Monad + Size_Change_Termination While_Combinator Word Zorn