[FOM] Thanks for feedback on Logiweb

[Klaus Ebbe Grue]

Thanks to the fom list for feedback on Logiweb. The feedback has improved 
the system.

Logiweb is now being released to a wider audience. I will not announce 
the system once more at this list. But you may still find it at 
http://logiweb.eu/.

You may find the beginning of a Mizar/Logiweb paper at
http://logiweb.eu/grue/pages/pcs_0/latest/body/tex/page.html.

Propositional calculus, first order predicate calculus, and Peano 
arithmetic can be found at
http://logiweb.eu/logiweb/page/Peano/fixed/body/index.html
(click PDF, go to page 8, and see Section 2.1, 2.2, and 2.3).

Cheers,
Klaus