rm *.holsig *.thms *.html
$1 < opsem.sml
$1 < cl.sml
$1 < mil.sml
$1 < algebra.sml
