#! /bin/csh
grep "$*" */*.ML */*/*.ML 
