[isabelle-dev] Word Libraries
makarius at sketis.net
Thu Aug 12 21:21:50 CEST 2021
On 12/08/2021 20:30, Florian Haftmann wrote:
>>> I have finished polishing the bit and word material as envisaged before
>>> the next Isabelle release.
>> Is this failure a consequence of it? (Seen in current Isabelle/0f051404f487 +
>> Native_Word FAILED
>> (see also
> This should work again in AFP rev. d8cd1583a4f6
OK. It looks fine.
More information about the isabelle-dev