Aleksander Mendoza-Drosik (Dec 06 2022 at 12:51): 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 ?
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
Jonathan Julian Huerta y Munive (Dec 06 2022 at 13:02):In your Isabelle distribution (assuming 2022): Isabelle2022/src/HOL/Analysis
Last updated: Apr 24 2024 at 08:20 UTC