src/ZF/UNITY/Constrains.thy

--- a/src/ZF/UNITY/Constrains.thy	Mon May 26 18:36:15 2003 +0200
+++ b/src/ZF/UNITY/Constrains.thy	Tue May 27 11:39:03 2003 +0200
@@ -57,8 +57,5 @@
   Always :: "i => i"
     "Always(A) == initially(A) Int Stable(A)"
 
-  (* Increasing is the weak from of increasing *)
-  Increasing :: [i,i, i] => i 
-  "Increasing(A, r, f) ==  INT a:A. Stable({s:state.  <a, f`s>:r})"
 end