[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] strict
On Tue, 9 Jan 2007, Adam Naumowicz wrote:
definition of "strict" has a special meaning which is automatically defined
separately for all structures - and it is added to the XML presentation even
if it's not present in the actual miz/abs file.
yes, my fault, I guess all these "explanatory additions" in the XML should
be commented, like e.g. the "according to" explanations of definitional
expansions are - it's part of the plan
Josef