| author | wneuper <Walther.Neuper@jku.at> |
| Wed, 11 Jan 2023 11:38:01 +0100 | |
| changeset 60650 | 06ec8abfd3bc |
| parent 42284 | 676ac5aeee47 |
| permissions | -rw-r--r-- |
| jan@42252 | 1 |
(* |
| jan@42252 | 2 |
no_document use_thys ["This_Theory1", "This_Theory2"]; |
| jan@42252 | 3 |
use_thys ["That_Theory1", "That_Theory2", "That_Theory3"]; |
| jan@42252 | 4 |
*) |
| jan@42252 | 5 |
|
| jan@42252 | 6 |
Thy_Output.source_default := true; |
| jan@42252 | 7 |
use "antiquote_setup.ML"; |
| jan@42252 | 8 |
|
| jan@42284 | 9 |
use_thys ["Build_Inverse_Z_Transform"]; |