wneuper/isa: test/Tools/isac/Test

     2 theory Test_Some imports Isac begin

     4 use"../../../test/Tools/isac/Interpret/script.sml"

     6 ML {*

     7 val thy = @{theory "Isac"};

     8 val ctxt = ProofContext.init_global thy;

     9 print_depth 5;

    10 *}

    11 ML {*

    12 *}

    13 ML {* (*==================*)

    14 *}

    15 ML {*

    16 *}

    17 ML {* (*==================*)

    18 *}

    19 ML {*

    20 *}

    21 ML {* (*==================*)

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

    23 "~~~~~ to  return val:"; val () = ();

    25 *}

    26 text {**}

    27 ML {*

    29 *}

    30 end

    32 (*============ inhibit exn WN120406 ==============================================

    33 ============ inhibit exn WN120406 ==============================================*)

    35 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

    36 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)

    38 (*=========================^^^ correct until here ^^^===========================*)

author	Walther Neuper <neuper@ist.tugraz.at>
	Wed, 13 Jun 2012 07:28:39 +0200
changeset 42438	31e1aa39b5cb
parent 42437	529008b1408e
child 42439	94fa39284c95
permissions	-rw-r--r--