changeset 799 | 13aa1e3d8a3a |
parent 753 | ec86863e87c8 |
child 837 | 778f01546669 |
798:31ec33d96231 | 799:13aa1e3d8a3a |
---|---|
10 consts |
10 consts |
11 "1" :: "i" ("1") |
11 "1" :: "i" ("1") |
12 bool :: "i" |
12 bool :: "i" |
13 cond :: "[i,i,i]=>i" |
13 cond :: "[i,i,i]=>i" |
14 not :: "i=>i" |
14 not :: "i=>i" |
15 and :: "[i,i]=>i" (infixl 70) |
15 "and" :: "[i,i]=>i" (infixl 70) |
16 or :: "[i,i]=>i" (infixl 65) |
16 or :: "[i,i]=>i" (infixl 65) |
17 xor :: "[i,i]=>i" (infixl 65) |
17 xor :: "[i,i]=>i" (infixl 65) |
18 |
18 |
19 translations |
19 translations |
20 "1" == "succ(0)" |
20 "1" == "succ(0)" |