[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] updated MoMM
Hi,
updated version of MoMM for Mizar v. >= 7.0.04 is available
at http://ktiml.mff.cuni.cz/~urban/MoMM/MoMM.tar.gz . The distribution
has 56M and unpacks to 90M.
The description is at http://ktiml.mff.cuni.cz/~urban/MoMM/momm.ps,
its user interface in the Mizar mode for Emacs is described at
http://kti.mff.cuni.cz/~urban/MizarModeDoc/html/MizarMode_12.html .
The clausebanks are generated for the current MML (4.04.834), the list of
1551 (partially) subsumed MML theorems is at
http://ktiml.mff.cuni.cz/~urban/MoMM/pos1.cb2, first in each line is the
subsumer, the rest are the theorems (partially) subsumed by the subsumer.
Josef Urban