Re: [isabelle] make_string



On 24/06/18 15:18, Jeremy Dawson wrote:
> 
> 
> I tried the above and an extra window appeared containing the
> following
> 
> Build started for Isabelle/HOL+ZF ...
> Building HOL+ZF ...
> 
> (lots of output here)
> 
> *** Failed to load theory "ZF.InfDatatype" (unresolved "ZF.Cardinal_AC")
> *** Failed to load theory "ZFC" (unresolved "ZF.InfDatatype")
> *** Cannot merge theories with different application syntax
> *** At command "theory" (line 10 of "~~/src/ZF/Cardinal_AC.thy")
> Unfinished session(s): HOL+ZF
> Return code: 2

You actually need Isabelle2018-RC0 for that: it approximates the
Isabelle2018 release that is scheduled for August 2018, see
http://isabelle.in.tum.de/website-Isabelle2018-RC0


	Makarius




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