El registro Parameterized skeletons in Maude ha sido añadido! Su cesta contiene 62 registro(s).