diff -r ae592411c199 -r f1159f38ba4f lib/Tools/findlogics
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/findlogics	Mon Dec 09 09:03:03 1996 +0100
@@ -0,0 +1,41 @@
+#!/bin/bash -norc
+#
+# $Id$
+#
+# DESCRIPTION: collect heap names from ISABELLE_PATH
+
+
+PRG=$(basename $0)
+
+function usage()
+{
+  echo
+  echo "Usage: $PRG"
+  echo
+  echo "  Collect heap file names from ISABELLE_PATH."
+  echo
+  exit 1
+}
+
+
+## main
+
+[ $# -ne 0 ] && usage
+
+
+. $ISABELLE_HOME/lib/scripts/getplatform
+
+LOGICS=""
+
+for DIR in $(echo $ISABELLE_PATH | tr : " ")
+do
+  for FILE in $DIR/$ML_SYSTEM-$PLATFORM/*
+  do
+    if [ -f "$FILE" ]; then
+      NAME=$(basename "$FILE")
+      LOGICS="$LOGICS $NAME"
+    fi
+  done
+done
+
+echo $({ for L in $LOGICS; do echo $L; done } | sort | uniq)