author | kleing |
Thu, 07 Dec 2000 19:26:30 +0100 | |
changeset 10631 | 591ea23d27a0 |
parent 10611 | e460c53c1c9b |
child 11026 | a50365d21144 |
permissions | -rw-r--r-- |
9000 | 1 |
|
9143 | 2 |
goals_limit := 1; |
8011 | 3 |
|
4 |
Unify.search_bound := 40; |
|
5 |
Unify.trace_bound := 40; |
|
6 |
||
10611 | 7 |
add_path "J"; |
8 |
add_path "JVM"; |
|
9 |
add_path "BV"; |
|
10631 | 10 |
|
11 |
use_thy "JTypeSafe"; |
|
12 |
use_thy "Example"; |
|
13 |
use_thy "BVSpecTypeSafe"; |
|
14 |
use_thy "LBVCorrect"; |
|
15 |
use_thy "LBVComplete"; |
|
16 |
use_thy "JVM"; |