me queda una duda en el siguiente fragmento de codigo...
(...)
WHILE L <> NIL DO
INC(aux[L^.info]);
L := L^.sig;
(...)
Què es INC? o sea, supongo que sera incrementar o algo asi, pero, es una funcion predefinida? o sea, no veo de donde sale ni que hace... porque creo que te quedan errores de tipos entre integer y cardinal, se estan asignando cosas de tipo integer a cardinal, y creo que eso no se puede... (*ver asignacion "nodo^.info := i;" donde nodo^.info es integer e i cardinal*)