L | |
| List_1 |
Renames basic operations on lists.
|
R | |
| Rat |
Provides type rat : rational numbers and operations involving them.
|
| Rat_inter |
Provides type rat_inter : singletons and non-empty open intervals whose bounds are
rationals, and operations involving them.
|
| Rat_poly |
Provides type rat_poly : polynomials in one variable and whose coefficients are rational
numbers, and operations involving them.
|