New shell script for finding orphan .ML files (those with no
.thy file)

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/find-orphans	Mon Feb 27 16:58:59 1995 +0100
@@ -0,0 +1,6 @@
+#! /bin/csh
+# $Id$
+# Find all "orphan" ML-files (those with no thy-file)
+foreach f (*.ML)
+  if ( ! -f $f:r.thy ) echo $f
+end