Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 22 2022 at 12:59):

From: Walther Neuper <wneuper@ist.tugraz.at>
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.

view this post on Zulip Email Gateway (Aug 22 2022 at 12:59):

From: Makarius <makarius@sketis.net>
I do find it there, near the bottom:

https://isabelle.in.tum.de/dist/library/HOL/HOL-ex/index.html

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 12:59):

From: Walther Neuper <wneuper@ist.tugraz.at>
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

Last updated: Nov 21 2024 at 12:39 UTC