# HG changeset patch
# User paulson
# Date 927553580 -7200
# Node ID b2662096ccd006fc15fe60c05e0ad15059e6d2e8
# Parent  5febcf428342707f8f0f5a7f4b6a8f4614082a0f
Increasing makes sense only for partial orderings

diff -r 5febcf428342 -r b2662096ccd0 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