Re: [isabelle] where is HOL/ex/ ???



On 2016-03-16 13:32, Makarius wrote:
>> Where are the theories in  ~~/src/HOL/ex/  to be found on the web ?
>> I searched for them at
>>   https://isabelle.in.tum.de/dist/library/HOL/index.html
>
> I do find it there, near the bottom:
>
> https://isabelle.in.tum.de/dist/library/HOL/HOL-ex/index.html

Thanks, I searched with an underscore ;-)), Walther

>     Makarius





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