| ⇤ ← Revision 1 as of 2004-11-07 19:22:38   Size: 74 Comment:  |  ← Revision 2 as of 2004-11-07 19:22:51  ⇥ Size: 75 Comment:  | 
| Deletions are marked like this. | Additions are marked like this. | 
| Line 1: | Line 1: | 
| The LeastFixedPoint of a function f is the smallest x such that f(x) = x | The Least FixedPoint of a function f is the smallest x such that f(x) = x | 
The Least FixedPoint of a function f is the smallest x such that f(x) = x
