| Jan 9, 2002 | |
Translation Pattern Form to Formalized Mathematics |
| Jan 8, 2002 | |
Download of previewing procedure |
| Jan 3, 2002 | |
Declaration for submission to the MML as postscript document
on Bibliography Note Form to Formalized Mathematics |
| Dec 31, 2001 | |
Translation pattern postedition (proof-read) in previewing procedure
on Proof-read to Formalized Mathematics |
| Dec 22, 2001 | |
Previewing procedure
on Proof-read to Formalized Mathematics |
| Dec 5, 2001 | |
Bibliography Note Form to Formalized Mathematics |
| Nov 15, 2001 | |
Proof-read to Formalized Mathematics version 0.1 |
| Mar 12, 2001 | |
MML Query version 0.1 |
| Feb 27, 2001 | |
Marked eXtended Abstract |
| Feb 26, 2001 | |
Decoded Library Items |
Feb 26, 2001 | |
Constructors Required by Library Items |
| Jan 22, 2001 | |
Contents of Japonese Mizar Web Site |
| Dec 13, 2000 | |
MML Browser ver 0.2 |
| Dec 8, 2000 | |
New Index of MML Idenifiers
by
Hiroyuki Uchiyama
and
Koichi Okada
|
| Dec 6, 2000 | |
MML Browser ver 0.1 |
| Nov 27, 2000 | |
Japonese Mizar Web Site was established. |