wneuper/isa: test/Tools/isac/Test

     2 theory Test_Some imports Isac begin

     4 use"../../../test/Tools/isac/Knowledge/rootrateq.sml"

     6 ML {*

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

     8 val ctxt = ProofContext.init_global thy;

     9 print_depth 555;

    10 *}

    11 ML {*

    12 *}

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

    14 *}

    15 ML {*

    16 *}

    17 ML {*

    18 *}

    19 ML {*

    20 *}

    21 ML {*

    22 *}

    23 ML {*

    24 *}

    25 ML {*

    26 *}

    27 ML {* (*==================*)

    28 *}

    29 ML {*

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

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

    33 *}

    34 text {**}

    35 ML {*

    37 *}

    38 end

    40 (*============ inhibit exn WN120316 ==============================================

    41 ============ inhibit exn WN120316 ==============================================*)

    43 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

    44 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)

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

author	Walther Neuper <neuper@ist.tugraz.at>
	Mon, 19 Mar 2012 09:48:03 +0100
changeset 42398	04d3f0133827
parent 42396	7dda01b5c12f
child 42399	c5bb245afb58
permissions	-rw-r--r--