[m-dev.] diff: interface files w/ existential & universal constraints

[David Glen JEFFERY]

On 19-Aug-1998, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> On 19-Aug-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> > Hi,
> > 
> > Can you please review this Tyse?
> 
> Looks fine (although it's hard to tell with a diff like that).
> If it works, I'm happy.

It appears to... this stuff is experimental, so it doesn't really matter I 
guess. I'll commit it.


love and cuddles,
dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.