# csh
set FILES = `ls *th`
foreach FILE ( $FILES )
   echo "Changing " $FILE
   sed "s/LENprover:/ATP module:/g" $FILE >tmp
   cp tmp $FILE
end

  