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 Walther Neuper <neuper@ist.tugraz.at>
Tue, 19 Jul 2011 09:30:10 +0200
branchdecompose-isar
changeset 42107 b11276f08294
parent 42106 43dbf705d2f0
child 42109 cd33f1f80c8a
permissions -rw-r--r--
intermed: uncomment tests with CompleteCalc 
     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/polyminus.sml"  

    11 

    12 ML{*

    13 *}

    14 ML{*

    15 *}

    16 ML{*

    17 *}

    18 ML{*

    19 *}

    20 ML{*

    21 *}

    22 

    23 end

    24 

    25 

    26 (*=== inhibit exn ?=============================================================

    27 ===== inhibit exn ?===========================================================*)

    28 

    29 

    30 (*========== inhibit exn 110719 ================================================

    31 ============ inhibit exn 110719 ==============================================*)

    32 

    33 

    34 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

    35 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)
wneuper/isa