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
> "/home/karabot/dev/Isabelle/Simpl/Semantic.thy").

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.


	Makarius





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