Re: optional arguments for theorems?

[Georg Baum]

Am Donnerstag, 12. Oktober 2006 20:27 schrieb Martin Vermeer:
> I think this is a formally correct solution.

Yes. But please add a description of the changes in development/FORMAT.


Georg