--- a/src/HOL/Library/Library.thy Fri May 05 16:50:58 2006 +0200 +++ b/src/HOL/Library/Library.thy Fri May 05 17:17:21 2006 +0200 @@ -1,7 +1,6 @@ (*<*) theory Library imports - Accessible_Part BigO Continuity EfficientNat