src/HOL/UNITY/Constrains.thy

--- a/src/HOL/UNITY/Constrains.thy	Mon May 24 15:45:54 1999 +0200
+++ b/src/HOL/UNITY/Constrains.thy	Mon May 24 15:46:20 1999 +0200
@@ -51,7 +51,7 @@
     "Always A == {F. Init F <= A} Int Stable A"
 
   (*Polymorphic in both states and the meaning of <= *)
-  Increasing :: "['a => 'b::{ord}] => 'a program set"
+  Increasing :: "['a => 'b::{order}] => 'a program set"
     "Increasing f == INT z. Stable {s. z <= f s}"
 
 end