In 3a1b2d8c89aa, there is now a bundle cardinal_syntax (and the theory
Cardinal_Notations is gone). HOL-Cardinals does not depend on HOL-Library
anymore.
Dmitriy
> On 5 Apr 2019, at 17:54, Traytel Dmitriy wrote:
>
> Indeed, a bundle is probably the best approach. I'll look into this once my
On 06/04/2019 20:09, Makarius wrote:
>
>> Instead of bisect, I took an educated guess after looking at the file
>> history of Admin/components/main. So the first bad commit for me is
>> b578749daa62 (which introduces scala 2.12.8). With its parent isabelle jedit
>> -bf works.
>>
>> Funnily, my