src/HOL/Orderings.thy

--- a/src/HOL/Orderings.thy	Sun Feb 26 20:08:12 2012 +0100
+++ b/src/HOL/Orderings.thy	Sun Feb 26 20:10:14 2012 +0100
@@ -1426,8 +1426,4 @@
 lemmas linorder_antisym_conv2 = linorder_class.antisym_conv2
 lemmas linorder_antisym_conv3 = linorder_class.antisym_conv3
 
-no_notation
-  top ("\<top>") and
-  bot ("\<bottom>")
-
 end