equal
deleted
inserted
replaced
|
1 (* |
|
2 no_document use_thys ["This_Theory1", "This_Theory2"]; |
|
3 use_thys ["That_Theory1", "That_Theory2", "That_Theory3"]; |
|
4 *) |
|
5 |
|
6 Thy_Output.source_default := true; |
|
7 use "antiquote_setup.ML"; |
|
8 |
|
9 use_thys ["Inverse_Z_Transform"]; |