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



It is now in HOL/HOLCF and you build it in HOL with
isabelle make HOLCF

Tobias

Christian Maeder schrieb:
> Am 31.01.2011 11:00, schrieb Makarius:
>> Isabelle2011 is now available.
> [...]
>> * HOLCF: reorganization of library and related tools.
> 
> How should I build HOLCF now? Where should I get the sources from?
> 
> Thanks Christian





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