lib/Tools/usedir

   echo
   echo "Usage: $PRG LOGIC NAME"
   echo
   echo "  Options are:"
   echo "    -b           build mode (output heap image, use dir \".\")"
-  echo "    -c           force copying of heap file (for Poly/ML)"
   echo "    -g BOOL      generate theory graph data (default false)"
   echo "    -h BOOL      generate theory HTML data (default false)"
   echo "    -s NAME      override session NAME"
   echo
   echo "  Build object-logic or run examples. Also creates browsing"

 ## process command line
 
 # options
 
 BUILD=""
-COPYDB=""
 GRAPH=false
 HTML=false
 SESSION=""
 
 function getoptions()

   while getopts "bcg:h:s:" OPT
   do
     case "$OPT" in
       b)
         BUILD=true
-        ;;
-      c)
-        COPYDB="-c"
         ;;
       g)
         GRAPH="$OPTARG"
         ;;
       h)

 if [ -n "$BUILD" ]; then
   exec $ISABELLE \
     -e "make_html := $HTML;" \
     -e "set_session\"$SESSION\";" \
     -e "exit_use_dir\".\";" \
-    -q $COPYDB $LOGIC $NAME
+    -q $LOGIC $NAME
 else
   exec $ISABELLE \
     -e "make_html := $HTML;" \
     -e "set_session\"$SESSION\";" \
     -e "exit_use_dir\"$NAME\"; quit();" \