[mizar] Re: How to prove equivalences?

[Freek Wiedijk <freek@cs.ru.nl>]

Hi Greg,

>So 'per directions' seems like syntactic sugar that
>'should be easy to add' :-)

I'm sure it's easy to add, but not for me :-)

So I didn't see an answer to my mail about this before.
I still would be very much interested in knowing how the
rest of the Mizar community feels about this.

Also: there's "suppose" versus "case".  Maybe I'm asking
about this for nothing, as maybe this is what "case" is for?

Freek