magnus.myreen at gmail.com
Sun Jan 15 18:19:02 UTC 2017
mc_multiword was recently added to HOL. I suspect you need to update
your HOL revision. -- Magnus
On 15 January 2017 at 13:47, Scott Owens <S.A.Owens at kent.ac.uk> wrote:
> It looks like data_to_word is broken too.
>> On 2017/01/15, at 12:46, Scott Owens <S.A.Owens at kent.ac.uk> wrote:
>> After merging master into env-refactor, word_bignumTheory doesn’t build, complaining of a missing mc_multiword theory.
>> Developers mailing list
>> Developers at cakeml.org
> Developers mailing list
> Developers at cakeml.org
More information about the Developers