[mizar] Schemes, help!

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

Help!

I just downloaded the newest Mizar in the hope to get rid of
the non-clusterable attributes (I had another one of those,
and I remembered Andrzej telling me that they would go away),
and indeed they're gone (yes!) but now...

I'm getting errors for my from-applications of schemes!  I
don't like this at all!  What's going on?  Is this change
described somewhere?  My darkest fear: do I have to use
deffunc's and defpred's every time I want to use a scheme (if
so: I don't like it _at all!)_

Freek