[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