src/HOL/MicroJava/ROOT.ML
author nipkow
Thu Nov 11 12:23:45 1999 +0100 (1999-11-11)
changeset 8011 d14c4e9e9c8e
child 9000 c20d58286a51
permissions -rw-r--r--
*** empty log message ***
nipkow@8011
     1
goals_limit:=1;
nipkow@8011
     2
nipkow@8011
     3
Unify.search_bound := 40;
nipkow@8011
     4
Unify.trace_bound  := 40;
nipkow@8011
     5
nipkow@8011
     6
add_path "J";
nipkow@8011
     7
add_path "JVM";
nipkow@8011
     8
add_path "BV";
nipkow@8011
     9
nipkow@8011
    10
nipkow@8011
    11
use_thy "JTypeSafe";
nipkow@8011
    12
use_thy "BVSpecTypeSafe";