| changeset 581 | 465075fd257b |
| parent 516 | 1957113f0d7d |
| child 753 | ec86863e87c8 |
| 580:909e00299009 | 581:465075fd257b |
|---|---|
28 |
28 |
29 list :: "i=>i" |
29 list :: "i=>i" |
30 |
30 |
31 |
31 |
32 datatype |
32 datatype |
33 "list(A)" = "Nil" | "Cons" ("a:A", "l: list(A)") |
33 "list(A)" = Nil | Cons ("a:A", "l: list(A)") |
34 |
34 |
35 |
35 |
36 translations |
36 translations |
37 "[x, xs]" == "Cons(x, [xs])" |
37 "[x, xs]" == "Cons(x, [xs])" |
38 "[x]" == "Cons(x, [])" |
38 "[x]" == "Cons(x, [])" |