equal
deleted
inserted
replaced
1425 even more nasty technicalities \dots |
1425 even more nasty technicalities \dots |
1426 |
1426 |
1427 {\footnotesize |
1427 {\footnotesize |
1428 \begin{verbatim} |
1428 \begin{verbatim} |
1429 01 ML {* |
1429 01 ML {* |
1430 02 val SOME t = parseNEW ctxt "argument_in (X (z::real))"; |
1430 02 val t = parse ctxt "argument_in (X (z::real))"; |
1431 03 val SOME (str, t') = eval_argument_in "" |
1431 03 val SOME (str, t') = eval_argument_in "" |
1432 04 "Build_Inverse_Z_Transform.argument'_in" t 0; |
1432 04 "Build_Inverse_Z_Transform.argument'_in" t 0; |
1433 05 term2str t'; |
1433 05 term2str t'; |
1434 06 *} |
1434 06 *} |
1435 07 val it = "(argument_in X z) = z": string\end{verbatim}} |
1435 07 val it = "(argument_in X z) = z": string\end{verbatim}} |