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
> I do find it there, near the bottom:

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

>     Makarius

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