#! /bin/csh
#rm-logfiles: remove useless files from subdirectories
rm log {Pure,FOL,ZF,LCF,CTT,LK,Modal,HOL,Cube}/make*.log
rm {FOL,ZF,LCF,CTT,LK,Modal,HOL,Cube}/test
rm {FOL,ZF,LCF,CTT,LK,Modal,HOL,Cube}/.*.thy.ML
rm {FOL,ZF,HOL}/ex/.*.thy.ML
