Hola.
La segunda alternativa está bien (forall (osi : os_ident)...).
Saludos, Carlos
Re: [Práctico 7] Reglas V y VI valid state (mapeo oss : os_indet -> os)
de Carlos Luna -
Número de respuestas: 0