| changeset 33364 | 2bd12592c5e8 |
| parent 32642 | 026e7c6a6d08 |
| child 34146 | 14595e0c27e8 |
| 33362:85adf83af7ce | 33364:2bd12592c5e8 |
|---|---|
1407 |
1407 |
1408 ML {* |
1408 ML {* |
1409 Addsimprocs [ab_group_add_cancel.sum_conv, ab_group_add_cancel.rel_conv]; |
1409 Addsimprocs [ab_group_add_cancel.sum_conv, ab_group_add_cancel.rel_conv]; |
1410 *} |
1410 *} |
1411 |
1411 |
1412 end |
1412 code_modulename SML |
1413 OrderedGroup Arith |
|
1414 |
|
1415 code_modulename OCaml |
|
1416 OrderedGroup Arith |
|
1417 |
|
1418 code_modulename Haskell |
|
1419 OrderedGroup Arith |
|
1420 |
|
1421 end |