#  make-rulenames
#shell script for making ML files to get names of rules
sed -n -f get-rule.sed tt-rules.ML > tt-rulenames.ML
sed -n -f get-rule.sed pcset-rules.ML > pcset-rulenames.ML
