Restructured archive.

Browse Source

...

This commit is contained in:

Achim D. Brucker 2025-03-16 18:49:42 +00:00

parent 34d3fc5895

commit 4203bb8768

212 changed files with 102 additions and 13735 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0

Isabelle_DOF-Scaffold/Isabelle_DOF-Scaffold.thy → Isabelle_DOF-Scaffold-2025/Isabelle_DOF-Scaffold.thy

Unescape Escape View File

0

Isabelle_DOF-Scaffold/ROOT → Isabelle_DOF-Scaffold-2025/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/document/preamble.tex → Isabelle_DOF-Scaffold-2025/document/preamble.tex

Unescape Escape View File

0

CITATION → Isabelle_DOF-add_ons-2025/CITATION

Unescape Escape View File

0

Isabelle_DOF-Example-I/IsaDofApplications.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/IsaDofApplications.thy

Unescape Escape View File

0

Isabelle_DOF-Example-I/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/ROOT

Unescape Escape View File

0

Isabelle_DOF-Example-I/document/authorarchive.sty → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/authorarchive.sty

Unescape Escape View File

0

Isabelle_DOF-Example-I/document/figures/Dogfood-II-bgnd1.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/Dogfood-II-bgnd1.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 14 KiB After Width:  |  Height:  |  Size: 14 KiB

0

Isabelle_DOF-Example-I/document/figures/Dogfood-III-bgnd-text_section.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/Dogfood-III-bgnd-text_section.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 18 KiB After Width:  |  Height:  |  Size: 18 KiB

0

Isabelle_DOF-Example-I/document/figures/Dogfood-IV-jumpInDocCLass.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/Dogfood-IV-jumpInDocCLass.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 23 KiB After Width:  |  Height:  |  Size: 23 KiB

0

Isabelle_DOF-Example-I/document/figures/Dogfood-Intro.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/Dogfood-Intro.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 85 KiB After Width:  |  Height:  |  Size: 85 KiB

0

Isabelle_DOF-Example-I/document/figures/Dogfood-V-attribute.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/Dogfood-V-attribute.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 16 KiB After Width:  |  Height:  |  Size: 16 KiB

0

Isabelle_DOF-Example-I/document/figures/Dogfood-figures.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/Dogfood-figures.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 18 KiB After Width:  |  Height:  |  Size: 18 KiB

0

Isabelle_DOF-Example-I/document/figures/InteractiveMathSheet.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/InteractiveMathSheet.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 75 KiB After Width:  |  Height:  |  Size: 75 KiB

0

Isabelle_DOF-Example-I/document/figures/antiquotations-PIDE.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/antiquotations-PIDE.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 96 KiB After Width:  |  Height:  |  Size: 96 KiB

0

Isabelle_DOF-Example-I/document/figures/isabelle-architecture.pdf → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/isabelle-architecture.pdf

Unescape Escape View File

0

Isabelle_DOF-Example-I/document/figures/isabelle-architecture.svg → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/isabelle-architecture.svg

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 57 KiB After Width:  |  Height:  |  Size: 57 KiB

0

Isabelle_DOF-Example-I/document/figures/srac-as-es-application.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/srac-as-es-application.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 67 KiB After Width:  |  Height:  |  Size: 67 KiB

0

Isabelle_DOF-Example-I/document/figures/srac-definition.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/figures/srac-definition.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 50 KiB After Width:  |  Height:  |  Size: 50 KiB

0

Isabelle_DOF-Example-I/document/lstisadof-manual.sty → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/lstisadof-manual.sty

Unescape Escape View File

0

Isabelle_DOF-Example-I/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Example-I/document/root.bib → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-I/document/root.bib

Unescape Escape View File

0

Isabelle_DOF-Example-II/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-II/ROOT

Unescape Escape View File

0

Isabelle_DOF-Example-II/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-II/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Example-II/document/root.bib → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-II/document/root.bib

Unescape Escape View File

0

Isabelle_DOF-Example-II/paper.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Example-II/paper.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CC_ISO15408/PikeOS_study/PikeOS_ST.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CC_ISO15408/PikeOS_study/PikeOS_ST.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CC_ISO15408/PikeOS_study/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CC_ISO15408/PikeOS_study/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CC_ISO15408/ROOTS → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CC_ISO15408/ROOTS

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/ROOTS → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/ROOTS

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/dof_session.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/dof_session.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/figures/df-numerics-encshaft.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/figures/df-numerics-encshaft.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 27 KiB After Width:  |  Height:  |  Size: 27 KiB

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/figures/odometer.jpeg → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/figures/odometer.jpeg

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 407 KiB After Width:  |  Height:  |  Size: 407 KiB

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/figures/three-phase-odo.pdf → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/figures/three-phase-odo.pdf

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/figures/wheel-df.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/figures/wheel-df.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 23 KiB After Width:  |  Height:  |  Size: 23 KiB

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/root.bib → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/root.bib

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/root.mst → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/document/root.mst

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/mini_odo.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/CENELEC_50128/mini_odo/mini_odo.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/README.md → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/README.md

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/ROOTS → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/ROOTS

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/beamerx/ROOTS → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/beamerx/ROOTS

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/beamerx/poster/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/beamerx/poster/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/beamerx/poster/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/beamerx/poster/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/beamerx/poster/poster.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/beamerx/poster/poster.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/beamerx/presentation/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/beamerx/presentation/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/beamerx/presentation/document/figures/A.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/beamerx/presentation/document/figures/A.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 12 KiB After Width:  |  Height:  |  Size: 12 KiB

0

Isabelle_DOF-Examples-Extra/beamerx/presentation/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/beamerx/presentation/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/beamerx/presentation/presentation.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/beamerx/presentation/presentation.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/cytology/Cytology.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/cytology/Cytology.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/cytology/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/cytology/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/ROOTS → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/ROOTS

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/MyCommentedIsabelle.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/MyCommentedIsabelle.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 162 KiB After Width:  |  Height:  |  Size: 162 KiB

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/document-model.pdf → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/document-model.pdf

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/isabelle-architecture.pdf → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/isabelle-architecture.pdf

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/markup-demo.png → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/markup-demo.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 13 KiB After Width:  |  Height:  |  Size: 13 KiB

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-I.pdf → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-I.pdf

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 91 KiB After Width:  |  Height:  |  Size: 91 KiB

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-II.pdf → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-II.pdf

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 31 KiB After Width:  |  Height:  |  Size: 31 KiB

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/text-element.pdf → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/figures/text-element.pdf

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/prooftree.sty → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/prooftree.sty

Unescape Escape View File

0

Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/root.bib → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Extra/technical_report/TR_my_commented_isabelle/document/root.bib

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/ROOTS → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/ROOTS

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/template-beamer-UNSUPPORTED.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-beamer-UNSUPPORTED/template-beamer-UNSUPPORTED.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/template-beamerposter-UNSUPPORTED.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-beamerposter-UNSUPPORTED/template-beamerposter-UNSUPPORTED.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/lipics-v2021.cls → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/lipics-v2021.cls

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-lncs/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/template-lipics-v2021-UNSUPPORTED.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-lipics-v2021-UNSUPPORTED/template-lipics-v2021-UNSUPPORTED.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-lncs/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-lncs/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrartcl/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-lncs/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-lncs/template-lncs.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-lncs/template-lncs.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrartcl/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrartcl/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrreprt-modern/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrartcl/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrartcl/template-scrartcl.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrartcl/template-scrartcl.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrreprt-modern/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrreprt/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrreprt-modern/template-scrreprt-modern.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrreprt-modern/template-scrreprt-modern.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrreprt/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrreprt/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrreprt/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-scrreprt/template-scrreprt.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-scrreprt/template-scrreprt.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/ROOT

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/sn-jnl.cls → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/document/sn-jnl.cls

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/template-sn-article-UNSUPPORTED.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-sn-article-UNSUPPORTED/template-sn-article-UNSUPPORTED.thy

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/ROOT → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/ROOT

Unescape Escape View File

0

Isabelle_DOF-Scaffold/document/preamble.tex → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/preamble.tex

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/svglov3.clo → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/svglov3.clo

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/svjour3.cls → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/document/svjour3.cls

Unescape Escape View File

0

Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/template-svjour3-UNSUPPORTED.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Examples-Templates/template-svjour3-UNSUPPORTED/template-svjour3-UNSUPPORTED.thy

Unescape Escape View File

0

Isabelle_DOF-Ontologies/CC_v3_1_R5/CC_terminology.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Ontologies/CC_v3_1_R5/CC_terminology.thy

Unescape Escape View File

0

Isabelle_DOF-Ontologies/CC_v3_1_R5/CC_v3_1_R5.thy → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Ontologies/CC_v3_1_R5/CC_v3_1_R5.thy

Unescape Escape View File

0

Isabelle_DOF-Ontologies/CC_v3_1_R5/DOF-CC_terminology.sty → Isabelle_DOF-add_ons-2025/Isabelle_DOF-Ontologies/CC_v3_1_R5/DOF-CC_terminology.sty

Unescape Escape View File

Some files were not shown because too many files have changed in this diff Show More