nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF

This commit is contained in:
Burkhart Wolff 2020-06-23 11:22:41 +02:00
parent af9e399f50 1c5bb85233
commit f5622c2f59
151 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
.ci/Jenkinsfile vendored Normal file → Executable file
View File

2
.ci/isabelle4isadof/Dockerfile Normal file → Executable file
View File

@ -24,7 +24,7 @@
#
# SPDX-License-Identifier: BSD-2-Clause
FROM logicalhacking/lh-docker-isabelle:isabelle2019
FROM logicalhacking/lh-docker-isabelle:isabelle2020
WORKDIR /home/isabelle
COPY thy_output.ML /home/isabelle/Isabelle/src/Pure/Thy

0
.config Normal file → Executable file
View File

0
.gitattributes vendored Normal file → Executable file
View File

0
.gitignore vendored Normal file → Executable file
View File

0
CHANGELOG.md Normal file → Executable file
View File

0
CITATION Normal file → Executable file
View File

0
LICENSE Normal file → Executable file
View File

0
README.md Normal file → Executable file
View File

0
ROOTS Normal file → Executable file
View File

0
examples/CENELEC_50128/ROOTS Normal file → Executable file
View File

0
examples/CENELEC_50128/mini_odo/ROOT Normal file → Executable file
View File

0
examples/CENELEC_50128/mini_odo/document/figures/df-numerics-encshaft.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 27 KiB

After

Width:  |  Height:  |  Size: 27 KiB

0
examples/CENELEC_50128/mini_odo/document/figures/odometer.jpeg Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 407 KiB

After

Width:  |  Height:  |  Size: 407 KiB

0
examples/CENELEC_50128/mini_odo/document/figures/three-phase-odo.pdf Normal file → Executable file
View File

0
examples/CENELEC_50128/mini_odo/document/figures/wheel-df.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 23 KiB

After

Width:  |  Height:  |  Size: 23 KiB

0
examples/CENELEC_50128/mini_odo/document/isadof.cfg Normal file → Executable file
View File

0
examples/CENELEC_50128/mini_odo/document/lstisadof.sty Normal file → Executable file
View File

0
examples/CENELEC_50128/mini_odo/document/preamble.tex Normal file → Executable file
View File

0
examples/CENELEC_50128/mini_odo/document/root.bib Normal file → Executable file
View File

0
examples/CENELEC_50128/mini_odo/document/root.mst Normal file → Executable file
View File

0
examples/CENELEC_50128/mini_odo/mini_odo.thy Normal file → Executable file
View File

0
examples/README.md Normal file → Executable file
View File

0
examples/ROOTS Normal file → Executable file
View File

0
examples/math_exam/MathExam/MathExam.thy Normal file → Executable file
View File

0
examples/math_exam/MathExam/ROOT Normal file → Executable file
View File

0
examples/math_exam/MathExam/document/figures/Polynomialdeg5.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 4.9 KiB

After

Width:  |  Height:  |  Size: 4.9 KiB

0
examples/math_exam/MathExam/document/isadof.cfg Normal file → Executable file
View File

0
examples/math_exam/MathExam/document/preamble.tex Normal file → Executable file
View File

0
examples/math_exam/ROOTS Normal file → Executable file
View File

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy Normal file → Executable file
View File

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT Normal file → Executable file
View File

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 14 KiB

After

Width:  |  Height:  |  Size: 14 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-III-bgnd-text_section.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 18 KiB

After

Width:  |  Height:  |  Size: 18 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 23 KiB

After

Width:  |  Height:  |  Size: 23 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 85 KiB

After

Width:  |  Height:  |  Size: 85 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 16 KiB

After

Width:  |  Height:  |  Size: 16 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 18 KiB

After

Width:  |  Height:  |  Size: 18 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 75 KiB

After

Width:  |  Height:  |  Size: 75 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 96 KiB

After

Width:  |  Height:  |  Size: 96 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf Normal file → Executable file
View File

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 57 KiB

After

Width:  |  Height:  |  Size: 57 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 67 KiB

After

Width:  |  Height:  |  Size: 67 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 50 KiB

After

Width:  |  Height:  |  Size: 50 KiB

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg Normal file → Executable file
View File

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty Normal file → Executable file
View File

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex Normal file → Executable file
View File

0
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib Normal file → Executable file
View File

0
examples/scholarly_paper/ROOTS Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/02_Background.thy Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/05_Implementation.thy Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/ROOT Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-II-bgnd1.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 14 KiB

After

Width:  |  Height:  |  Size: 14 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-III-bgnd-text_section.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 18 KiB

After

Width:  |  Height:  |  Size: 18 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-IV-jumpInDocCLass.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 23 KiB

After

Width:  |  Height:  |  Size: 23 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-Intro.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 85 KiB

After

Width:  |  Height:  |  Size: 85 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-V-attribute.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 16 KiB

After

Width:  |  Height:  |  Size: 16 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-figures.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 18 KiB

After

Width:  |  Height:  |  Size: 18 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/antiquotations-PIDE.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 96 KiB

After

Width:  |  Height:  |  Size: 96 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-combined.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 214 KiB

After

Width:  |  Height:  |  Size: 214 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-dof.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 135 KiB

After

Width:  |  Height:  |  Size: 135 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-pdf.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 73 KiB

After

Width:  |  Height:  |  Size: 73 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.pdf Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.svg Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 36 KiB

After

Width:  |  Height:  |  Size: 36 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.pdf Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.svg Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 57 KiB

After

Width:  |  Height:  |  Size: 57 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/isadof.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 81 KiB

After

Width:  |  Height:  |  Size: 81 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-as-es-application.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 67 KiB

After

Width:  |  Height:  |  Size: 67 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-definition.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 50 KiB

After

Width:  |  Height:  |  Size: 50 KiB

0
examples/technical_report/Isabelle_DOF-Manual/document/isadof.cfg Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/document/root.bib Normal file → Executable file
View File

0
examples/technical_report/Isabelle_DOF-Manual/document/root.mst Normal file → Executable file
View File

0
examples/technical_report/ROOTS Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/ROOT Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/document/figures/document-model.pdf Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/document/figures/isabelle-architecture.pdf Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/document/figures/markup-demo.png Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 13 KiB

After

Width:  |  Height:  |  Size: 13 KiB

0
examples/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-I.pdf Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 91 KiB

After

Width:  |  Height:  |  Size: 91 KiB

0
examples/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-II.pdf Normal file → Executable file
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 31 KiB

After

Width:  |  Height:  |  Size: 31 KiB

0
examples/technical_report/TR_my_commented_isabelle/document/figures/text-element.pdf Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/document/isadof.cfg Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/document/preamble.tex Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/document/prooftree.sty Normal file → Executable file
View File

0
examples/technical_report/TR_my_commented_isabelle/document/root.bib Normal file → Executable file
View File

0
src/DOF/Assert.thy Normal file → Executable file
View File

0
src/DOF/AssertLong.thy Normal file → Executable file
View File

0
src/DOF/Isa_COL.thy Normal file → Executable file
View File

0
src/DOF/Isa_DOF.thy Normal file → Executable file
View File

0
src/DOF/RegExpInterface.thy Normal file → Executable file
View File

0
src/DOF/latex/DOF-COL.sty Normal file → Executable file
View File

0
src/DOF/latex/DOF-core.sty Normal file → Executable file
View File

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