Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
restored a high precedence to unary minus
authorpaulson
Mon, 16 Aug 1999 18:43:13 +0200
changeset 7220 da6f387ca482
parent 7219 4e3f386c2e37
child 7221 13e43b7456a1
restored a high precedence to unary minus
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- 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 "^"*)
isabelle