#! /bin/sh -v
rm substitution.lex.sml substitution.grm.sig substitution.grm.sml score