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> 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.