equal
deleted
inserted
replaced
28 DEF_IND_SUC |
28 DEF_IND_SUC |
29 DEF_IND_0 |
29 DEF_IND_0 |
30 DEF_NUM_REP |
30 DEF_NUM_REP |
31 TYDEF_sum |
31 TYDEF_sum |
32 DEF_INL |
32 DEF_INL |
33 DEF_INR; |
33 DEF_INR |
|
34 TYDEF_option; |
34 |
35 |
35 type_maps |
36 type_maps |
36 ind > Nat.ind |
37 ind > Nat.ind |
37 bool > bool |
38 bool > bool |
38 fun > fun |
39 fun > fun |
39 N_1 > Product_Type.unit |
40 N_1 > Product_Type.unit |
40 prod > "*" |
41 prod > "*" |
41 num > nat |
42 num > nat |
42 sum > "+"; |
43 sum > "+" |
|
44 option > Datatype.option; |
43 |
45 |
44 const_renames |
46 const_renames |
45 "==" > "eqeq" |
47 "==" > "eqeq" |
46 ".." > "dotdot" |
48 ".." > "dotdot" |
47 "ALL" > ALL_list; |
49 "ALL" > ALL_list; |