changeset 64272 | f76b6dda2e56 |
parent 64267 | b9a1486e79be |
child 66148 | 5e60c2d0a1f1 |
64269:c939cc16b605 | 64272:f76b6dda2e56 |
---|---|
86 |
86 |
87 lemma [code, code del]: |
87 lemma [code, code del]: |
88 "sum = sum" .. |
88 "sum = sum" .. |
89 |
89 |
90 lemma [code, code del]: |
90 lemma [code, code del]: |
91 "setprod = setprod" .. |
91 "prod = prod" .. |
92 |
92 |
93 lemma [code, code del]: |
93 lemma [code, code del]: |
94 "Product_Type.product = Product_Type.product" .. |
94 "Product_Type.product = Product_Type.product" .. |
95 |
95 |
96 lemma [code, code del]: |
96 lemma [code, code del]: |