#! /bin/csh
#rm-logfiles: remove log and test files
rm log {Pure,FOL,ZF,LCF,CTT,LK,Modal,HOL,Cube}/make.log
rm {FOL,ZF,LCF,CTT,LK,Modal,HOL,Cube}/test
