| Bissextile_years |
Bissextile years.
|
| Bissextile_years_revisited |
Bissextile years (with local definitions of functions and error managing.
|
| 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_closed_interval |
Provides operations involving closed interval whose endpoints are integer
(closed_interval values).
|