Accessing some Mizar articles through ILF

[dahn@mathematik.hu-berlin.de (Bernd Ingo Dahn)]

You are invited to look at

	The ILF Mathematical Library 

http://www-irm.mathematik.hu-berlin.de/~ilf/mathlib.html

It intends to give other deductive systems access to 
the Mizar Mathematical Library.

It delivers selected parts of the library in
- HTML
- LaTeX
- Prolog- or LISP-readable format.

The main purpose of the current small pre-release is, to get
feedback on user needs.

Suggestions, comments and bug reports should be sent to

ilf-serv-request@mathematik.hu-berlin.de


Ingo Dahn

***************************************
* Bernd, Ingo Dahn		      *
*				      *
* Humboldt-University		      *
* Institute of Pure Mathematics       *
* Ziegelstr. 13a		      *
* D-10099 Berlin		      *
*				      *
* Phone: (+49)30-2093-1829	      *
* Fax  : (+49)30-2093-1846            *
* Mail : dahn@mathematik.hu-berlin.de *
*				      *
***************************************