Re: [isabelle] AFP submission and smt2

Mar 4/11/14, Tobias Nipkow <nipkow at> ha scritto:

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

Mar 4/11/14, Makarius <makarius at> ha scritto:

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

Good to know, thanks to both Tobias and Makarius.


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