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/Integ/NatBin.thy
changeset 9509 0f3ee1f89ca8
parent 7032 d6efb3b8e669
child 10574 8f98f0301d67 
--- a/src/HOL/Integ/NatBin.thy	Thu Aug 03 10:46:01 2000 +0200
+++ b/src/HOL/Integ/NatBin.thy	Thu Aug 03 10:52:30 2000 +0200
@@ -8,7 +8,7 @@
 This case is simply reduced to that for the non-negative integers
 *)
 
-NatBin = IntDiv +
+NatBin = IntPower +
 
 instance
   nat :: number
isabelle