#!/bin/sh
#a typical "for" loop in sh
#
set -e
for f in *.ML
do
echo $f
cp $f .old.$f
sed -e '
s/\<subst\>/ssubst/g
s/\<sym RS ssubst\>/subst/g
s/(subst)/subst/g
s/\<lfix\>/lfp/g
s/\<inl/Inl/g
s/\<inr/Inr/g
s/\<plus_distinct\>/Inl_neq_Inr/g
s/_pair/_Pair/g
' <.old.$f > $f
done
