[Logiweb] How to instantiate A4'

[Martin Røpcke]

> ---
> line ell c because axiom prime a four indeed
> parenthesis
> peano all peano t indeed
> parenthesis  peano t  end parenthesis
> end parenthesis
>
>  peano imply
>
>  parenthesis  peano t  end parenthesis
> end line

Could it be that you need to write:

...prime a four at peano t indeed...

I use it like that and don't get the error.

Regards,
Martin