#! /bin/sh
#
#expandshort - shell script for global substitution in source files
#
for f in $*
do
echo Processing $f
mv $f $f~~; sed -e '
s|One_One_on|inj_onto|g
s|One_One|inj|g
s|Onto|surj|g
s|ap_thm|fun_cong|g
s|ap_term|arg_cong|g
' $f~~ > $f
done
echo After checking the new files, delete *~~ 
