Re: [isabelle] Isabelle2008 - Can't rebuild Simpl any longer
On Mon, 9 Jun 2008, George Karabotsos wrote:
> I have just installed Isabelle2008 with Poly/ML 5.1 - downloading Simpl
> (http://afp.sourceforge.net/entries/Simpl.shtml) and trying to rebuild it
> gives me the following error:
> *** Duplicate fact "Semantic.exec_Call_body"
> *** At command "done" (line 428 of
This is because the official AFP is still for Isabelle2007. At the moment
you should get along with the development version of AFP, until it has
been repackaged for Isabelle2008.
This archive was generated by a fusion of
Pipermail (Mailman edition) and