Re: [isabelle] quotient_type command fails



I don’t think that any names in Isabelle are allowed to contain whitespace.

Larry Paulson


On 10 Jun 2014, at 10:20, Salomon Sickert <sickert at in.tum.de> wrote:

> Apparently in Isabelle 2013-2 the quotient_type command doesn't work, if the theory name contains white-space.





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