diff -r 89db5eedecab -r 8ba30b031f31 lib/Tools/findlogics
--- a/lib/Tools/findlogics	Wed Apr 16 18:53:36 1997 +0200
+++ b/lib/Tools/findlogics	Thu Apr 17 10:30:57 1997 +0200
@@ -27,7 +27,7 @@
 
 for DIR in $(echo $ISABELLE_PATH | tr : " ")
 do
-  for FILE in $DIR/$ML_SYSTEM-$PLATFORM/*
+  for FILE in $DIR/*
   do
     if [ -f "$FILE" ]; then
       NAME=$(basename "$FILE")