rm *.holsig *.thms
hol90 < opsem.sml
hol90 < cl.sml
hol90 < mil.sml
hol90 < algebra.sml
