logicalhacking
diff --git a/Diff for: ‎CITATION
100755100644 b/Diff for: ‎CITATION
100755100644
diff --git a/Diff for: ‎LICENSE
100755100644 b/Diff for: ‎LICENSE
100755100644
diff --git a/Diff for: ‎README.md
100755100644 b/Diff for: ‎README.md
100755100644
diff --git a/Diff for: ‎ROOTS
100755100644 b/Diff for: ‎ROOTS
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/ROOTS
100755100644 b/Diff for: ‎examples/CENELEC_50128/ROOTS
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/ROOT
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/ROOT
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/figures/df-numerics-encshaft.png
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/figures/df-numerics-encshaft.png
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/figures/odometer.jpeg
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/figures/odometer.jpeg
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/figures/three-phase-odo.pdf
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/figures/three-phase-odo.pdf
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/figures/wheel-df.png
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/figures/wheel-df.png
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/isadof.cfg
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/isadof.cfg
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/lstisadof.sty
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/lstisadof.sty
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/preamble.tex
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/preamble.tex
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/root.bib
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/root.bib
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/document/root.mst
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/document/root.mst
100755100644
diff --git a/Diff for: ‎examples/CENELEC_50128/mini_odo/mini_odo.thy
100755100644 b/Diff for: ‎examples/CENELEC_50128/mini_odo/mini_odo.thy
100755100644
diff --git a/Diff for: ‎examples/README.md
100755100644 b/Diff for: ‎examples/README.md
100755100644
diff --git a/Diff for: ‎examples/ROOTS
100755100644 b/Diff for: ‎examples/ROOTS
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-III-bgnd-text_section.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-III-bgnd-text_section.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib
100755100644 b/Diff for: ‎examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib
100755100644
diff --git a/Diff for: ‎examples/scholarly_paper/ROOTS
100755100644 b/Diff for: ‎examples/scholarly_paper/ROOTS
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/02_Background.thy
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/02_Background.thy
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/05_Implementation.thy
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/05_Implementation.thy
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/ROOT
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/ROOT
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-II-bgnd1.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-II-bgnd1.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-III-bgnd-text_section.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-III-bgnd-text_section.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-IV-jumpInDocCLass.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-IV-jumpInDocCLass.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-Intro.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-Intro.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-V-attribute.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-V-attribute.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-figures.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-figures.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/MyCommentedIsabelle.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/MyCommentedIsabelle.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/antiquotations-PIDE.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/antiquotations-PIDE.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-combined.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-combined.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-dof.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-dof.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-pdf.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-pdf.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/definition-use-CSP-pdf.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/definition-use-CSP-pdf.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.pdf
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.pdf
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.svg
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.svg
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/header_CSP_pdf.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/header_CSP_pdf.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.pdf
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.pdf
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.svg
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.svg
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/isadof.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/isadof.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-as-es-application.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-as-es-application.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-definition.png
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-definition.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/isadof.cfg
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/isadof.cfg
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/root.bib
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/root.bib
100755100644
diff --git a/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/root.mst
100755100644 b/Diff for: ‎examples/technical_report/Isabelle_DOF-Manual/document/root.mst
100755100644
diff --git a/Diff for: ‎examples/technical_report/ROOTS
100755100644 b/Diff for: ‎examples/technical_report/ROOTS
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/ROOT
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/ROOT
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/document-model.pdf
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/document-model.pdf
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/isabelle-architecture.pdf
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/isabelle-architecture.pdf
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/markup-demo.png
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/markup-demo.png
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-I.pdf
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-I.pdf
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-II.pdf
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/pure-inferences-II.pdf
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/text-element.pdf
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/figures/text-element.pdf
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/isadof.cfg
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/isadof.cfg
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/preamble.tex
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/preamble.tex
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/prooftree.sty
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/prooftree.sty
100755100644
diff --git a/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/root.bib
100755100644 b/Diff for: ‎examples/technical_report/TR_my_commented_isabelle/document/root.bib
100755100644
diff --git a/Diff for: ‎src/tests/AssnsLemmaThmEtc.thy
100755100644 b/Diff for: ‎src/tests/AssnsLemmaThmEtc.thy
100755100644
diff --git a/Diff for: ‎src/tests/Attributes.thy
100755100644 b/Diff for: ‎src/tests/Attributes.thy
100755100644
diff --git a/Diff for: ‎src/tests/Concept_Example.thy
100755100644 b/Diff for: ‎src/tests/Concept_Example.thy
100755100644
diff --git a/Diff for: ‎src/tests/Concept_Example_Low_Level_Invariant.thy
100755100644 b/Diff for: ‎src/tests/Concept_Example_Low_Level_Invariant.thy
100755100644
diff --git a/Diff for: ‎src/tests/ROOT
100755100644 b/Diff for: ‎src/tests/ROOT
100755100644
diff --git a/Diff for: ‎src/tests/TermAntiquotations.thy
100755100644 b/Diff for: ‎src/tests/TermAntiquotations.thy
100755100644
diff --git a/Diff for: ‎src/tests/figures/A.png
100755100644 b/Diff for: ‎src/tests/figures/A.png
100755100644
diff --git a/Diff for: ‎src/tests/figures/AnB.odp
100755100644 b/Diff for: ‎src/tests/figures/AnB.odp
100755100644
diff --git a/Diff for: ‎src/tests/figures/B.png
100755100644 b/Diff for: ‎src/tests/figures/B.png
100755100644