On Mon, 11 May 2009 23:01:40 +0200
Alberto González Palomo <[email protected]> wrote:
>[...]
> > > Some instances of a relation carry remarks explaining why
> > > that step holds.
>
> This is done with the "method" element inside "derive".
Well, actually that would be for formal annotations.
Most likely you mean natural language remarks: that would be
"omtext" elements between the "derive" elements.
For natural language formulations of the steps, there is
the "CMP" element inside "derive".
Cheers,
--
Alberto González Palomo
Toledo, España / Saarbrücken, Deutschland
http://www.matracas.org
_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om
