Hi,
HTML for MML 4.104.1021 is browsable at
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.104.1021/ and
downloadable at
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.104.1021.tar.gz
(unpacks to 1.7G). The version without proofs is at
http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.104.1021.noproofs.tar.gz
(unpacks to 170M). Both versions work also locally (clicking on proofs
obviously only in the full version), and should be installed in $MIZFILES,
and the top directory renamed (or symlinked) to "html".
Josef Urban
