Páginas web

Se desea diseñar e implementar un TAD que sirva para guardar y mantener la historia
de páginas web visitadas por un usuario. De cada página web es relevante únicamente el
url de la página (que es una cadena de caracteres) y la fecha del último acceso.
Las operaciones necesarias son las de inserción, búsqueda y borrado.
• La inserción se realiza siempre en orden cronológico, pero hay que tener en
cuenta que cada página sólo aparece una vez, con la última fecha de visita.
• Se puede borrar cualquier página a partir de su url.
• La búsqueda de una página obtiene como resultado la fecha del último acceso.
Se realizan muchas más operaciones sobre las últimas páginas visitadas, por lo que
conviene una estructura que mantenga la historia ordenada cronológicamente.
Se pide: la especificación algebraica y la implementación en Ada del TAD.