[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] The 'suppose' keyword
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: [mizar] The 'suppose' keyword
- From: Boris Schminke <schminkeba@gmail.com>
- Date: Fri, 23 Apr 2010 14:33:54 +0400
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=r06k3p4aCwiHY23ZCmT/XFSft4id1rLdcxqL6NBSMx7jwzcy2VCc90Fdjd++1XXu5I ndMg+dfhPv68LRfTJQAi8eeB7/WV9gq/LtkiqnFiP7rGu+WymjZA/FdsChz6d4wyJbiD hjS0HuKiU/1Fll0WWMy5RHCkTH3NpGFbOXJV8=
Dear All,
the 'suppose' keyword is not described in 'Mizar Lecture Notes', but
it seems to be synonymic to the 'case' keyword in the 'per cases'
proof structure. Am I right?
Excuse me if the description could be found in another manual,
actually I haven't searched anywhere else, because in other parts
'Mizar Lecture Notes' seem to be the most up-to-date of what is
available.
Best regards,
Schminke Boris.