| author | Jan Rocnik <jan.rocnik@student.tugraz.at> |
| Thu, 08 Sep 2011 23:17:35 +0200 | |
| branch | decompose-isar |
| changeset 42252 | e633bb41ea42 |
| child 42262 | 31d1c917e75c |
| 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@42252 | 9 |
use_thys ["Inverse_Z_Transform"]; |