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 21872 75ba582dd6e9
parent 21820 2f2b6a965ccc
child 21911 e29bcab0c81c 
--- a/src/HOL/Integ/IntArith.thy	Mon Dec 18 08:21:27 2006 +0100
+++ b/src/HOL/Integ/IntArith.thy	Mon Dec 18 08:21:28 2006 +0100
@@ -407,7 +407,7 @@
   (SML "_"
      and "0/ :/ IntInf.int"
      and "~1/ :/ IntInf.int"
-     and "(_; _; raise FAIL \"BIT\")"
+     and "(_; _; raise Fail \"BIT\")"
      and "IntInf.+/ (_,/ 1)"
      and "IntInf.-/ (_,/ 1))")
   (Haskell "_"
isabelle