changeset 46691 | 72d81e789106 |
parent 46689 | f559866a7aa2 |
child 46882 | 6242b4bc05bc |
--- 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