Se recuerda que el próximo día 2 de junio no hay clase de RAC, y que esta clase queda aplazada para el día 13 de junio a la misma hora.
Para la clase del próximo 9 de junio, hay que realizar, en ACL2 Sedan, la demostración de que el algoritmo mergesort devuelve una lista ordenda.