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