1 #! /bin/csh
2 # $Id$
3 # Find all "orphan" ML-files (those with no thy-file)
4 foreach f (*.ML)
5 if ( ! -f $f:r.thy ) echo $f
6 end