changeset 2469 | b50b8c0eec01 |
parent 1629 | b5e43a60443a |
child 2539 | ddd22ceee8cc |
2468:428efffe8599 | 2469:b50b8c0eec01 |
---|---|
6 Booleans in Zermelo-Fraenkel Set Theory |
6 Booleans in Zermelo-Fraenkel Set Theory |
7 |
7 |
8 2 is equal to bool, but serves a different purpose |
8 2 is equal to bool, but serves a different purpose |
9 *) |
9 *) |
10 |
10 |
11 Bool = ZF + "simpdata" + |
11 Bool = upair + |
12 consts |
12 consts |
13 "1" :: i ("1") |
13 "1" :: i ("1") |
14 "2" :: i ("2") |
14 "2" :: i ("2") |
15 bool :: i |
15 bool :: i |
16 cond :: [i,i,i]=>i |
16 cond :: [i,i,i]=>i |