lib/Tools/browser

replaced option_map_SomeD by option_map_eq_Some (RS iffD1)
added option_map_eq_Some to simpset(), option_map_eq_Some RS iffD1 to claset()

#!/bin/bash
#
# $Id$
#
# DESCRIPTION: Isabelle theory graph browser


PRG=$(basename $0)

function usage()
{
  echo
  echo "Usage: $PRG [GRAPHFILE]"
  echo
  exit 1
}


## main

[ "$1" = "-?" -o $# -gt 1 ] && usage

export CLASSPATH=$ISABELLE_HOME/lib/browser

[ $# -ne 1 ] && cd $ISABELLE_BROWSER_INFO/graph/data

java GraphBrowser.GraphBrowser $1