wneuper/isa: test/Tools/isac/Test

     1 (* Title:  run tests on a particular test file

     2    Author: Walther Neuper 101001

     3    (c) copyright due to lincense terms.

     4 12345678901234567890123456789012345678901234567890123456789012345678901234567890

     5         10        20        30        40        50        60        70        80

     6 *)

     8 theory Test_Some imports Isac begin

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

    12 ML {*

    13 *}

    14 ML {*

    15 *}

    16 ML {*

    17 *}

    18 ML {*

    19 *}

    20 ML {*

    21 *}

    22 ML {*

    23 *}

    24 ML {* (*=================*)

    25 *}

    26 ML {*

    27 *}

    28 ML {*

    29 *}

    30 ML {*

    31 *}

    32 ML{*

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

    34 *}

    35 end

    38 (*============ inhibit exn WN110906 ==============================================

    39 ============ inhibit exn WN110906 ==============================================*)

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

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

author	Walther Neuper <neuper@ist.tugraz.at>
	Fri, 23 Sep 2011 13:58:27 +0200
branch	decompose-isar
changeset 42283	b95f0dde56c1
parent 42282	80ad50a9e541
child 42302	2cceae8c18bc
permissions	-rw-r--r--