src/HOL/Orderings.thy
changeset 46691 72d81e789106
parent 46689 f559866a7aa2
child 46882 6242b4bc05bc
     1.1 --- a/src/HOL/Orderings.thy	Sun Feb 26 20:08:12 2012 +0100
     1.2 +++ b/src/HOL/Orderings.thy	Sun Feb 26 20:10:14 2012 +0100
     1.3 @@ -1426,8 +1426,4 @@
     1.4  lemmas linorder_antisym_conv2 = linorder_class.antisym_conv2
     1.5  lemmas linorder_antisym_conv3 = linorder_class.antisym_conv3
     1.6  
     1.7 -no_notation
     1.8 -  top ("\<top>") and
     1.9 -  bot ("\<bottom>")
    1.10 -
    1.11  end