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

Re: [mizar] Private DB



Hi Adam,

Thanks for the very nice explanation of what happens to MML
when you sort things according to mml.lar!

>Apparently, there are more than a hundred files that pose
>problems, but it seems that in most cases they can be fixed
>rather easily by using a different redefinition for expansion.

Sorry, but I don't understand this.  Can you give an example?

Freek