Re: [isabelle] HOLCF was: Re: Announcing Isabelle2011



Am 15.02.2011 12:31, schrieb Christian Maeder:
> Press RETURN to compilation of
> 
>   HOL
>   (targets: HOLCF)

I wrongly assumed this suggests to build HOL instead of HOLCF!

C.





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