[Retros] example of popeye a=>b please

[Andrew Buchanan]

Hi retro friends,

Would someone be so kind as to give me a valid input file for Popeye to
verify a=>b proof game, please.

I want to try verifying something, but can't figure out the syntax.

Thanks,

Andrew.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.pairlist.net/pipermail/retros/attachments/20121206/03c65eba/attachment.htm>