--- a/lib/Tools/findlogics Thu Feb 06 18:27:47 1997 +0100
+++ b/lib/Tools/findlogics Thu Feb 06 18:31:27 1997 +0100
@@ -23,8 +23,6 @@
[ $# -ne 0 ] && usage
-. $ISABELLE_HOME/lib/scripts/getplatform
-
LOGICS=""
for DIR in $(echo $ISABELLE_PATH | tr : " ")