Re: [isabelle] AFP submission and smt2




On 04/11/2014 21:03, marco caminati wrote:
In AFP submission guidelines (http://afp.sourceforge.net/submitting.shtml), I read "No use of the command smt."

But what about smt2? Does the same exclusion hold?

Yes.

Tobias

(I should say I have no idea about the difference between them)

TIA,
Marco



Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



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