# HG changeset patch
# User wenzelm
# Date 1271338738 -7200
# Node ID 4ddcc2b07891943683d1f77065c3e235a5f1ee4e
# Parent  b43b22f636659a86518bffe3416fd21a3316f8d6
spelling;

diff -r b43b22f63665 -r 4ddcc2b07891 src/HOL/Statespace/state_fun.ML
--- a/src/HOL/Statespace/state_fun.ML	Thu Apr 15 12:27:14 2010 +0200
+++ b/src/HOL/Statespace/state_fun.ML	Thu Apr 15 15:38:58 2010 +0200
@@ -193,7 +193,7 @@
 
              (* mk_updterm returns 
               *  - (orig-term-skeleton,simplified-term-skeleton, vars, b)
-              *     where boolean b tells if a simplification has occured.
+              *     where boolean b tells if a simplification has occurred.
                     "orig-term-skeleton = simplified-term-skeleton" is
               *     the desired simplification rule.
               * The algorithm first walks down the updates to the seed-state while
diff -r b43b22f63665 -r 4ddcc2b07891 src/HOL/Tools/Datatype/datatype.ML
--- a/src/HOL/Tools/Datatype/datatype.ML	Thu Apr 15 12:27:14 2010 +0200
+++ b/src/HOL/Tools/Datatype/datatype.ML	Thu Apr 15 15:38:58 2010 +0200
@@ -682,7 +682,7 @@
             (constrs @ [(c, map (dtyp_of_typ new_dts) cargs')],
               constr_syntax' @ [(cname, mx')], sorts'')
           end handle ERROR msg => cat_error msg
-           ("The error above occured in constructor " ^ quote (Binding.str_of cname) ^
+           ("The error above occurred in constructor " ^ quote (Binding.str_of cname) ^
             " of datatype " ^ quote (Binding.str_of tname));
 
         val (constrs', constr_syntax', sorts') =
diff -r b43b22f63665 -r 4ddcc2b07891 src/Pure/ProofGeneral/proof_general_pgip.ML
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Apr 15 12:27:14 2010 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Apr 15 15:38:58 2010 +0200
@@ -955,7 +955,7 @@
            end)
         | _ => raise PGIP "Invalid PGIP packet received")
      handle PGIP msg =>
-            (Output.error_msg ((msg ^ "\nPGIP error occured in XML text below:\n") ^
+            (Output.error_msg ((msg ^ "\nPGIP error occurred in XML text below:\n") ^
                                (XML.string_of xml));
              true))