Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Test_Some.thy
author Thomas Leh <t.leh@gmx.at>
Tue, 26 Jul 2011 16:09:08 +0200
branchdecompose-isar
changeset 42204 b6c894902413
parent 42203 8e216c5001bd
child 42205 2910634f8537
permissions -rw-r--r--
tuned 
     1 (* Title:  run tests on a particular test file

     2    Author: Walther Neuper 101001

     3    (c) copyright due to lincense terms.

     4 *)

     5 

     6 theory Test_Some imports Isac begin

     7 

     8 ML{* writeln "**** run the test ***************************************" *}

     9 

    10 use"../../../test/Tools/isac/Knowledge/diffapp.sml" 

    11 

    12 ML {*

    13 

    14 

    15 

    16 *}

    17 ML{*

    18 *}

    19 ML{*

    20 *}

    21 ML{*

    22 *}

    23 ML{*

    24 "~~~~~ fun , args:"; val () = ();

    25 *}

    26 end

    27 

    28 

    29 (*============ inhibit exn AK110725 ==============================================

    30 ============ inhibit exn AK110725 ==============================================*)

    31 

    32 

    33 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

    34 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)

    35
wneuper/isa