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/RelPow.thy
changeset 5183 89f162de39cf
parent 3370 5c5fdce3a4e4
child 5608 a82a038a3e7a 
--- a/src/HOL/RelPow.thy	Fri Jul 24 13:02:01 1998 +0200
+++ b/src/HOL/RelPow.thy	Fri Jul 24 13:03:20 1998 +0200
@@ -8,7 +8,7 @@
 
 RelPow = Nat +
 
-primrec "op ^" nat
+primrec
   "R^0 = id"
   "R^(Suc n) = R O (R^n)"
isabelle