--- 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
--- 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') =
--- 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))