lib/Tools/findlogics
changeset 2591 ae16f162f973
parent 2333 f1159f38ba4f
child 2936 bd33e7aae062
     1.1 --- a/lib/Tools/findlogics	Thu Feb 06 18:27:47 1997 +0100
     1.2 +++ b/lib/Tools/findlogics	Thu Feb 06 18:31:27 1997 +0100
     1.3 @@ -23,8 +23,6 @@
     1.4  [ $# -ne 0 ] && usage
     1.5  
     1.6  
     1.7 -. $ISABELLE_HOME/lib/scripts/getplatform
     1.8 -
     1.9  LOGICS=""
    1.10  
    1.11  for DIR in $(echo $ISABELLE_PATH | tr : " ")