Changes required by removal of the theory argument of Theorem
#! /bin/csh# $Id$# Run qed on all ML files in the current directoryforeach f (*ML)echo Expanding shorthands in $f. \ Backup file is $f:r.bakqed $f $f:r.MLLmv $f $f:r.bakmv $f:r.MLL $fendecho Finished.