Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Documentation?

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

From: Jonathan Woodgate via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
I see, thank you!

Johannes Hölzl <hoelzl@in.tum.de> schrieb am 12:14 Samstag, 5.März 2016:

view this post on Zulip Email Gateway (Aug 22 2022 at 13:03):

From: Jonathan Woodgate via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Hello,
where can I find a documentation for the theory Numeral Type? Does every theory have a documentation?
Thank you!

Last updated: Apr 25 2024 at 08:20 UTC