[Logiweb] How to instantiate A4'

[Kasper H0st Frederiksen]

I am trying to use A4' in my proof, but no matter what I try I get a 
"false side contition" diagnose.

This is the simplest example i can think of, and it still fails:

---
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
---

Can somone please help spot my error.

-Kasper Frederiksen