Re: [isabelle] more Isabelle2007 conversion pains



Well, I have a rather vague recollection of hearing that the AFP is only interested in proofs written in Isar. Is that correct?

It does not say so anywhere. And some contributions are not in Isar. Although we do have a preference for Isar and may ask for revisions of particularly brittle theories before adding them.

Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.