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



On Wed, 16 Mar 2016, Walther Neuper 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


	Makarius




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