author | paulson |
Fri, 31 Jan 1997 17:13:19 +0100 | |
changeset 2572 | 8a47f85e7a03 |
parent 818 | 0b9ec0374bfd |
permissions | -rwxr-xr-x |
#! /bin/sh # $Id$ #Assists in converting uses of the old simplifier (Isabelle-92 and earlier) #Usage: # change_simp FILE1 ... FILEn # #Renames old versions of the files as FILE1~~ ... FILEn~~ # for f in $* do echo $f. \ Backup file is $f~~ mv $f $f~~; sed -e ' s/\<ASM_SIMP_TAC\>/asm_simp_tac/g s/\<SIMP_TAC\>/simp_tac/g s/\<addrews\>/addsimps/g s/addsplits \(\[[^]]*\]\)/setloop (split_tac \1)/g s/addsplits/setloop split_tac/g s/\<setauto\>/setsolver/g ' $f~~ > $f done echo Finished.