# HG changeset patch
# User paulson
# Date 934821793 -7200
# Node ID da6f387ca482014195ea5929beb714cb348a739f
# Parent  4e3f386c2e379975f687e39e186095ae9be56f18
restored a high precedence to unary minus

diff -r 4e3f386c2e37 -r da6f387ca482 src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Mon Aug 16 18:41:32 1999 +0200
+++ b/src/HOL/HOL.thy	Mon Aug 16 18:43:13 1999 +0200
@@ -70,7 +70,7 @@
 consts
   "+"           :: ['a::plus, 'a]  => 'a            (infixl 65)
   "-"           :: ['a::minus, 'a] => 'a            (infixl 65)
-  uminus        :: ['a::minus] => 'a                ("- _" [71] 70)
+  uminus        :: ['a::minus] => 'a                ("- _" [81] 80)
   "*"           :: ['a::times, 'a] => 'a            (infixl 70)
   (*See Nat.thy for "^"*)