Two articles are missing

"P.S.V.R" <[email protected]> Thu, 17 Feb 2011 17:57:54 +0800

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

By analyzing /usr/local/share/mizar/mml.vct via a script I wrote

I found the following two sections, which are mentioned in mml.vct but its corresponding article does not exist in the /usr/local/share/mizar/mml/ directory

AMI_7
SCMNORM

Seems like a bug in the current distribution.

Best,
Minqi Pan

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.