Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
whitespace fix
authorhaftmann
Mon, 18 Dec 2006 08:21:28 +0100
changeset 21872 75ba582dd6e9
parent 21871 9ce66839d9f1
child 21873 62d2416728f5
whitespace fix
src/HOL/Integ/IntArith.thy file | annotate | diff | comparison | revisions 
--- 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