equal
deleted
inserted
replaced
|
1 consts bool2if :: boolex => ifex |
|
2 primrec |
|
3 "bool2if (Const b) = CIF b" |
|
4 "bool2if (Var x) = VIF x" |
|
5 "bool2if (Neg b) = IF (bool2if b) (CIF False) (CIF True)" |
|
6 "bool2if (And b c) = IF (bool2if b) (bool2if c) (CIF False)" |