src/FOLP/change
author paulson
Fri Feb 16 18:00:47 1996 +0100 (1996-02-16)
changeset 1512 ce37c64244c0
parent 0 a5a9c433f639
permissions -rwxr-xr-x
Elimination of fully-functorial style.
Type tactic changed to a type abbrevation (from a datatype).
Constructor tactic and function apply deleted.
     1 #! /bin/sh
     2 #
     3 # Usage:
     4 #    expandshort FILE1 ... FILEn
     5 #
     6 #  leaves previous versions as XXX~~
     7 #
     8 for f in $*
     9 do
    10 echo Expanding shorthands in $f. \ Backup file is $f~~
    11 mv $f $f~~; sed -e '
    12 s/PFOL/FOLP/g
    13 s/PIFOL/IFOLP/g
    14 s/pfol/folp/g
    15 s/pifol/ifolp/g
    16 ' $f~~ > $f
    17 done
    18 echo Finished.