-f .HOLMK/algebraScript.d -f .HOLMK/clScript.d -f .HOLMK/milScript.d -f .HOLMK/opsemScript.d -f .HOLMK/algebraTheory.d -f .HOLMK/clTheory.d -f .HOLMK/milTheory.d -f .HOLMK/opsemTheory.d -f .HOLMK/algebraTheory.sd -f .HOLMK/clTheory.sd -f .HOLMK/milTheory.sd -f .HOLMK/opsemTheory.sd
