The 'suppose' keyword

Boris Schminke <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.