src/HOL/Statespace/state_fun.ML
changeset 36148 4ddcc2b07891
parent 35999 e031755609cf
child 36945 9bec62c10714
--- 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