[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] lexicon update

To: <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] lexicon update
From: Adam Naumowicz <adamn@math.uwb.edu.pl>
Date: Tue, 15 Jan 2002 19:59:48 +0100 (CET)

Hello,
Thanks to the remarks made by Michal Trybulec we updated the web
page describing the lexical context of a Mizar article
(http://mizar.uwb.edu.pl/language/lexicon.html).
Due to recent discussion on Mizar syntax we also put a note on 'hereby'
keyword and some other minor corrections.
We'll appreciate all further comments and suggestions helping to improve
the quality of Mizar description on the web.
Regards,
Adam Naumowicz

Prev by Date: [mizar] TPHOLs 2002 - Second Call For Papers (fwd)
Next by Date: [mizar] Question Formalisms
Index(es):
- Chronological
- Thread