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 Alexander Kargl <akargl@brgkepler.net>
Wed, 27 Jul 2011 13:04:57 +0200
branchdecompose-isar
changeset 42218 dbdaf1e4e614
parent 42210 87ff4d96da1d
child 42219 2488f9fee7e9
permissions -rw-r--r--
intermed: uncommented tests 
     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/ProgLang/rewrite.sml" 

    11 

    12 ML {*

    13 

    14 

    15 

    16 

    17 

    18 

    19 

    20 

    21 

    22 

    23 

    24 

    25 *}

    26 ML{*

    27 *}

    28 ML{*

    29 *}

    30 ML{*

    31 *}

    32 ML{*

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

    34 *}

    35 end

    36 

    37 

    38 (*============ inhibit exn AK110725 ==============================================

    39 ============ inhibit exn AK110725 ==============================================*)

    40 

    41 

    42 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

    43 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)

    44
wneuper/isa