diff --git a/examples/scholarly/IsaDofApplications.thy b/examples/academic_paper/IsaDofApplications.thy
similarity index 100%
rename from examples/scholarly/IsaDofApplications.thy
rename to examples/academic_paper/IsaDofApplications.thy
diff --git a/examples/scholarly/Monitor_Example.thy b/examples/academic_paper/Monitor_Example.thy
similarity index 100%
rename from examples/scholarly/Monitor_Example.thy
rename to examples/academic_paper/Monitor_Example.thy
diff --git a/examples/scholarly/ROOT b/examples/academic_paper/ROOT
similarity index 100%
rename from examples/scholarly/ROOT
rename to examples/academic_paper/ROOT
diff --git a/examples/scholarly/document/build b/examples/academic_paper/document/build
similarity index 100%
rename from examples/scholarly/document/build
rename to examples/academic_paper/document/build
diff --git a/examples/scholarly/document/figures/Dogfood-II-bgnd1.png b/examples/academic_paper/document/figures/Dogfood-II-bgnd1.png
similarity index 100%
rename from examples/scholarly/document/figures/Dogfood-II-bgnd1.png
rename to examples/academic_paper/document/figures/Dogfood-II-bgnd1.png
diff --git a/examples/scholarly/document/figures/Dogfood-III-bgnd-text_section.png b/examples/academic_paper/document/figures/Dogfood-III-bgnd-text_section.png
similarity index 100%
rename from examples/scholarly/document/figures/Dogfood-III-bgnd-text_section.png
rename to examples/academic_paper/document/figures/Dogfood-III-bgnd-text_section.png
diff --git a/examples/scholarly/document/figures/Dogfood-IV-jumpInDocCLass.png b/examples/academic_paper/document/figures/Dogfood-IV-jumpInDocCLass.png
similarity index 100%
rename from examples/scholarly/document/figures/Dogfood-IV-jumpInDocCLass.png
rename to examples/academic_paper/document/figures/Dogfood-IV-jumpInDocCLass.png
diff --git a/examples/scholarly/document/figures/Dogfood-Intro.png b/examples/academic_paper/document/figures/Dogfood-Intro.png
similarity index 100%
rename from examples/scholarly/document/figures/Dogfood-Intro.png
rename to examples/academic_paper/document/figures/Dogfood-Intro.png
diff --git a/examples/scholarly/document/figures/Dogfood-V-attribute.png b/examples/academic_paper/document/figures/Dogfood-V-attribute.png
similarity index 100%
rename from examples/scholarly/document/figures/Dogfood-V-attribute.png
rename to examples/academic_paper/document/figures/Dogfood-V-attribute.png
diff --git a/examples/scholarly/document/figures/Dogfood-figures.png b/examples/academic_paper/document/figures/Dogfood-figures.png
similarity index 100%
rename from examples/scholarly/document/figures/Dogfood-figures.png
rename to examples/academic_paper/document/figures/Dogfood-figures.png
diff --git a/examples/scholarly/document/figures/InteractiveMathSheet.png b/examples/academic_paper/document/figures/InteractiveMathSheet.png
similarity index 100%
rename from examples/scholarly/document/figures/InteractiveMathSheet.png
rename to examples/academic_paper/document/figures/InteractiveMathSheet.png
diff --git a/examples/scholarly/document/figures/antiquotations-PIDE.png b/examples/academic_paper/document/figures/antiquotations-PIDE.png
similarity index 100%
rename from examples/scholarly/document/figures/antiquotations-PIDE.png
rename to examples/academic_paper/document/figures/antiquotations-PIDE.png
diff --git a/examples/scholarly/document/figures/isabelle-architecture.pdf b/examples/academic_paper/document/figures/isabelle-architecture.pdf
similarity index 100%
rename from examples/scholarly/document/figures/isabelle-architecture.pdf
rename to examples/academic_paper/document/figures/isabelle-architecture.pdf
diff --git a/examples/scholarly/document/figures/isabelle-architecture.svg b/examples/academic_paper/document/figures/isabelle-architecture.svg
similarity index 100%
rename from examples/scholarly/document/figures/isabelle-architecture.svg
rename to examples/academic_paper/document/figures/isabelle-architecture.svg
diff --git a/examples/scholarly/document/figures/srac-as-es-application.png b/examples/academic_paper/document/figures/srac-as-es-application.png
similarity index 100%
rename from examples/scholarly/document/figures/srac-as-es-application.png
rename to examples/academic_paper/document/figures/srac-as-es-application.png
diff --git a/examples/scholarly/document/figures/srac-definition.png b/examples/academic_paper/document/figures/srac-definition.png
similarity index 100%
rename from examples/scholarly/document/figures/srac-definition.png
rename to examples/academic_paper/document/figures/srac-definition.png
diff --git a/examples/scholarly/document/lstisadof.sty b/examples/academic_paper/document/lstisadof.sty
similarity index 100%
rename from examples/scholarly/document/lstisadof.sty
rename to examples/academic_paper/document/lstisadof.sty
diff --git a/examples/scholarly/document/ontologies.tex b/examples/academic_paper/document/ontologies.tex
similarity index 100%
rename from examples/scholarly/document/ontologies.tex
rename to examples/academic_paper/document/ontologies.tex
diff --git a/examples/scholarly/document/preamble.tex b/examples/academic_paper/document/preamble.tex
similarity index 100%
rename from examples/scholarly/document/preamble.tex
rename to examples/academic_paper/document/preamble.tex
diff --git a/examples/scholarly/document/root.bib b/examples/academic_paper/document/root.bib
similarity index 100%
rename from examples/scholarly/document/root.bib
rename to examples/academic_paper/document/root.bib
diff --git a/examples/scholarly/document/root.tex b/examples/academic_paper/document/root.tex
similarity index 100%
rename from examples/scholarly/document/root.tex
rename to examples/academic_paper/document/root.tex