[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Scheme for func definition with Fraenkel operator?



Dear Adam,

>especially in view of the recent discussion on automatic
>'equals' expansion.

I don't remember this discussion, sorry.  Can you summarize
it?  (That's not relevant for my question, I know, but I'm
curious...)

Freek