types.m (was: assertions and stuff)

[Tyson Dowd]

On 24-Apr-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> [On another point, perhaps we should move the various type-related
> procedures from std_util.m to a new module called say types.m.]

YES.

-- 
       Tyson Dowd           # There isn't any reason why Linux can't be
                            # implemented as an enterprise computing solution.
     trd at cs.mu.oz.au        # Find out what you've been missing while you've
http://www.cs.mu.oz.au/~trd # been rebooting Windows NT. -- InfoWorld, 1998.