Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
1/5/2010
cannot mix implicit and explicit rules
A target and a pair of inference-rule extensions were specified on the same line. Targets cannot be named in inference rules.