Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/HOL.thy
changeset 5492 d9fc3457554e
parent 5305 513925de8962
child 5786 9a2c90bdadfe 
--- a/src/HOL/HOL.thy	Tue Sep 15 15:06:29 1998 +0200
+++ b/src/HOL/HOL.thy	Tue Sep 15 15:10:38 1998 +0200
@@ -70,6 +70,7 @@
 consts
   "+"           :: ['a::plus, 'a]  => 'a            (infixl 65)
   "-"           :: ['a::minus, 'a] => 'a            (infixl 65)
+  uminus        :: ['a::minus] => 'a                ("- _" [80] 80)
   "*"           :: ['a::times, 'a] => 'a            (infixl 70)
   (*See Nat.thy for "^"*)
isabelle