| changeset 38075 | 3d5e2b7d1374 |
| parent 38074 | 31174744b9a2 |
| child 38080 | 8c20eb9a388d |
| 38074:31174744b9a2 | 38075:3d5e2b7d1374 |
|---|---|
18 |
18 |
19 ML {* |
19 ML {* |
20 Code_Prolog.run (Code_Prolog.generate @{context} [@{const_name append}]) "append" ["X", "Y", "Z"] |
20 Code_Prolog.run (Code_Prolog.generate @{context} [@{const_name append}]) "append" ["X", "Y", "Z"] |
21 *} |
21 *} |
22 |
22 |
23 values "{(x, y, z). append x y z}" |
|
24 |
|
23 end |
25 end |