author | berghofe |
Mon, 10 Dec 2001 15:24:22 +0100 | |
changeset 12441 | c586d08520ad |
parent 11070 | cc421547e744 |
child 12520 | 6d754b9a1303 |
permissions | -rw-r--r-- |
9143 | 1 |
goals_limit := 1; |
8011 | 2 |
|
10611 | 3 |
add_path "J"; |
4 |
add_path "JVM"; |
|
5 |
add_path "BV"; |
|
10631 | 6 |
|
7 |
use_thy "JTypeSafe"; |
|
8 |
use_thy "Example"; |
|
12441 | 9 |
use_thy "JListExample"; |
10 |
use_thy "JVMListExample"; |
|
10631 | 11 |
use_thy "BVSpecTypeSafe"; |
12 |
use_thy "LBVCorrect"; |
|
13 |
use_thy "LBVComplete"; |
|
14 |
use_thy "JVM"; |