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



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
   https://isabelle.in.tum.de/dist/library/HOL/HOL/index.html

Walther

PS: In other cases the web serves well to point out details to
colleagues, who are not working with Isabelle.





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