Stream: Beginner Questions

Topic: Source code of documentation


view this post on Zulip Aleksander Mendoza-Drosik (Dec 06 2022 at 12:51):

Hi! Does somebody know where I could find the source code of this document https://isabelle.in.tum.de/dist/library/HOL/HOL-Analysis/document.pdf ?

view this post on Zulip Jonathan Julian Huerta y Munive (Dec 06 2022 at 13:00):

In the Isabelle website: https://isabelle.in.tum.de/dist/library/HOL/HOL-Analysis/index.html

view this post on Zulip Jonathan Julian Huerta y Munive (Dec 06 2022 at 13:02):

In your Isabelle distribution (assuming 2022): Isabelle2022/src/HOL/Analysis


Last updated: Feb 27 2024 at 08:17 UTC