Re: declaring properties

[Lennart Augustsson]

> Thank you. I had a look a couple months back but I would be glad if you
> could provide a small example (please do not use your obfuscating skills
> :-)
I think the example of having a proof that the (==) is an equivalence relation
is exactly what you're talking about.  It's given in the paper.

It has a certain amount of detail, but you can't expect otherwise
since to express properties you need predicate calculus.

      -- Lennart