1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/isac/jrocnik/Inverse_Z_Transform/ROOT.ML	Thu Sep 08 23:17:35 2011 +0200
     1.3 @@ -0,0 +1,9 @@
     1.4 +(*
     1.5 +  no_document use_thys ["This_Theory1", "This_Theory2"];
     1.6 +  use_thys ["That_Theory1", "That_Theory2", "That_Theory3"];
     1.7 +*)
     1.8 +
     1.9 +Thy_Output.source_default := true;
    1.10 +use "antiquote_setup.ML";
    1.11 +
    1.12 +use_thys ["Inverse_Z_Transform"];
    1.13 \ No newline at end of file