1 #! /bin/csh
2 grep "$*" */*.ML */*/*.ML
2 grep "$*" */*.ML */*/*.ML TFL/*.sml TFL/*.sig TFL/examples/Subst/*.ML
3