Andreas Gittis (May 05 2023 at 04:06): Andreas Gittis (May 05 2023 at 04:06):I can see from the manual there are some built in theories like Main, Complex_Main, Pure, HOL, FOL, ZF, etc. How can I see a complete list of all the background theories? For example, I didn't see IFOL in the manual but it appears to be such a theory. And for each theory, is there an easy way to access the .thy file? I can see a "What's in Main" document but I don't know how to open the actual theory file itself.
Sławomir Kołodyńaski (May 05 2023 at 06:34):Isabelle documentation page contains a section "Theory libraries for Isabelle2022" that has links to HTML presentations of theories. IFOL is under FOL there.
Andreas Gittis (May 08 2023 at 02:41):Thank you!
Last updated: Apr 28 2024 at 16:17 UTC