#! /bin/csh
grep "$*" {Pure,Provers,Pure/SYNTAX,FOL,ZF,LK,Modal,CTT,HOL,Cube,LCF}/*ML \
        {FOL,ZF,LK,Modal,CTT,HOL}/ex/*ML 
