-f .HOLMK/MULT_FUNTheory.d -f .HOLMK/MULT_FUN_CURRYTheory.d -f .HOLMK/MULT_IMPTheory.d -f .HOLMK/MULT_VERTheory.d -f .HOLMK/NEXTTheory.d -f .HOLMK/primsTheory.d -f .HOLMK/MULT_FUNTheory.sd -f .HOLMK/MULT_FUN_CURRYTheory.sd -f .HOLMK/MULT_IMPTheory.sd -f .HOLMK/MULT_VERTheory.sd -f .HOLMK/NEXTTheory.sd -f .HOLMK/primsTheory.sd
