equal
deleted
inserted
replaced
36 type_maps |
36 type_maps |
37 ind > Nat.ind |
37 ind > Nat.ind |
38 bool > bool |
38 bool > bool |
39 fun > fun |
39 fun > fun |
40 N_1 > Product_Type.unit |
40 N_1 > Product_Type.unit |
41 prod > "Product_Type.*" |
41 prod > Product_Type.prod |
42 num > Nat.nat |
42 num > Nat.nat |
43 sum > "Sum_Type.+" |
43 sum > Sum_Type.sum |
44 (* option > Datatype.option*); |
44 (* option > Datatype.option*); |
45 |
45 |
46 const_renames |
46 const_renames |
47 "==" > "eqeq" |
47 "==" > "eqeq" |
48 ".." > "dotdot" |
48 ".." > "dotdot" |