| changeset 15338 | 08519594b0e4 |
| parent 15337 | 628d87767434 |
| child 15339 | a7b603bbc1e6 |
| 15337:628d87767434 | 15338:08519594b0e4 |
|---|---|
1 primrec |
|
2 "evala env (IF b a1 a2) = |
|
3 (if evalb env b then evala env a1 else evala env a2)" |
|
4 "evala env (Sum a1 a2) = evala env a1 + evala env a2" |
|
5 "evala env (Diff a1 a2) = evala env a1 - evala env a2" |
|
6 "evala env (Var v) = env v" |
|
7 "evala env (Num n) = n" |