Re: [isabelle] AFP submission and smt2



--------------------------------------------
Mar 4/11/14, Tobias Nipkow <nipkow at in.tum.de> ha scritto:

> > But what about smt2?
>> Does the same exclusion hold?
> Yes. 
>  Tobias

--------------------------------------------
Mar 4/11/14, Makarius <makarius at sketis.net> ha scritto:

> I am not an AFP editor, but my interpretation of it: [...]

Good to know, thanks to both Tobias and Makarius.

Best,
Marco





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