#! /bin/csh
rm {Pure,FOL,ZF,LCF,CTT,LK,Modal,HOL,Cube}/make.log
rm {FOL,ZF,LCF,CTT,LK,Modal,HOL,Cube}/test
