'any' and 'all' compared with the rest of the Report
Sun, 28 Jan 2001 01:24:58 +1100
On 26-Jan-2001, Marko Schuetz <MarkoSchuetz@web.de> wrote:
> I don't think we have absolute freedom. Assuming we want
> \forall s : bottom \le s
> including s = error, then we should also have error \not\le
You lost me here. Why should we have error \not\le bottom?
Why not just error \not\lt bottom?
Fergus Henderson <email@example.com> | "I have always known that the pursuit
| of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.