| List_1 |
Renames basic operations on lists.
|
| Use_lists |
Provides operations involving lists.
|
| Use_lists_again |
Provides operations involving lists.
|
| Closed_interval |
Provides type closed_interval : closed intervals whose endpoints are integers
along with basic operations involving them - Here such an interval is constructed as
a pair .
|
| Use_interval_lists |
Provides operations involving lists and closed interval whose bounds are integers.
|