equal
deleted
inserted
replaced
8 |
8 |
9 fun plus_nat (Succ_nat m) n = plus_nat m (Succ_nat n) |
9 fun plus_nat (Succ_nat m) n = plus_nat m (Succ_nat n) |
10 | plus_nat Zero_nat y = y; |
10 | plus_nat Zero_nat y = y; |
11 |
11 |
12 fun times_nat (Succ_nat m) n = plus_nat n (times_nat m n) |
12 fun times_nat (Succ_nat m) n = plus_nat n (times_nat m n) |
13 | times_nat Zero_nat na = Zero_nat; |
13 | times_nat Zero_nat n = Zero_nat; |
14 |
14 |
15 end; (*struct IntDef*) |
15 end; (*struct IntDef*) |
16 |
16 |
17 structure Codegen = |
17 structure Codegen = |
18 struct |
18 struct |