src/HOL/MicroJava/ROOT.ML
author kleing
Thu Jan 17 09:01:10 2002 +0100 (2002-01-17)
changeset 12786 d655138ddadf
parent 12773 a47f51daa6dc
child 12911 704713ca07ea
permissions -rw-r--r--
fixed
wenzelm@9143
     1
goals_limit := 1;
nipkow@8011
     2
oheimb@10611
     3
add_path "J";
oheimb@10611
     4
add_path "JVM";
oheimb@10611
     5
add_path "BV";
kleing@10631
     6
kleing@10631
     7
use_thy "JTypeSafe";
kleing@10631
     8
use_thy "Example";
berghofe@12441
     9
use_thy "JListExample";
kleing@12522
    10
use_thy "JVMListExample";
kleing@10631
    11
use_thy "BVSpecTypeSafe";
kleing@12520
    12
use_thy "JVM";
kleing@12520
    13
use_thy "LBVSpec"; 
kleing@12786
    14
kleing@12520
    15
(* momentarily broken:
kleing@10631
    16
use_thy "LBVCorrect";
kleing@10631
    17
use_thy "LBVComplete";
kleing@12520
    18
*)