--- a/src/HOL/Library/Library.thy Thu Oct 31 11:44:20 2013 +0100 +++ b/src/HOL/Library/Library.thy Thu Oct 31 11:44:20 2013 +0100 @@ -1,7 +1,6 @@ (*<*) theory Library imports - Abstract_Rat AList BigO Binomial