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/IntArith.thy
changeset 22176 29ba33d58637
parent 22059 f72cdc0a0af4
child 22192 834c4604de7b 
--- a/src/HOL/Integ/IntArith.thy	Thu Jan 25 09:32:34 2007 +0100
+++ b/src/HOL/Integ/IntArith.thy	Thu Jan 25 09:32:35 2007 +0100
@@ -448,7 +448,7 @@
      and "IntInf.-/ (_,/ 1))")
   (OCaml "_"
      and "Big'_int.big'_int'_of'_int/ 0"
-     and "Big'_int.big'_int'_of'_int/ -1"
+     and "Big'_int.big'_int'_of'_int/ (-1)"
      and "!(_; _; failwith \"BIT\")"
      and "Big'_int.succ'_big'_int"
      and "Big'_int.pred'_big'_int")
isabelle