branch | isac-update-Isa09-2 |
changeset 37965 | 9c11005c33b8 |
parent 37949 | aaf528d3ebd5 |
child 41899 | d837e83a4835 |
37964:f72dd3f427e4 | 37965:9c11005c33b8 |
---|---|
1 theory Build_Test imports Main begin |
1 (* |
2 $ cd /usr/local/isabisac/test/Tools/isac/ADDTESTS/file-depend |
|
3 $ /usr/local/isabisac/bin/isabelle emacs Build_Test.thy & |
|
4 |
|
5 *) |
|
6 |
|
7 theory Build_Test imports Complex_Main begin |
|
2 |
8 |
3 use "0foolibrary.ML" |
9 use "0foolibrary.ML" |
4 use_thy "1language/Foo_Language" |
10 use_thy "1language/Foo_Language" |
5 use "2interpreter/2foointerpreter.ML" |
11 use "2interpreter/2foointerpreter.ML" |
6 |
12 |