Restructured file layout to match afp default.

2016-12-31 20:22:49 +00:00 · 2016-12-31 20:22:49 +00:00 · 70e397cc23
parent 49ed81521f
commit 70e397cc23
35 changed files with 5 additions and 5 deletions
--- a/6
+++ b/6
@ -42,14 +42,14 @@

 chapter AFP

-session Featherweight_OCL (AFP) in "src" = HOL +
+session Featherweight_OCL (AFP) = HOL +
  description {* Featherweight-OCL *}
  options [document_variants = "annex-a=annexa,-theory,-afp,-proof,-ML:document=afp,-annexa:outline=-annexa,afp,/proof,/ML",
           show_question_marks = false]
  theories
    "UML_Main"
-    "../examples/Employee_Model/Analysis/Analysis_OCL"
-    "../examples/Employee_Model/Design/Design_OCL"
+    "examples/Employee_Model/Analysis/Analysis_OCL"
+    "examples/Employee_Model/Design/Design_OCL"
  document_files
    "conclusion.tex"
    "figures/AbstractSimpleChair.pdf"
--- a/src/UML_Contracts.thy
+++ b/src/UML_Contracts.thy
--- a/src/UML_Library.thy
+++ b/src/UML_Library.thy
--- a/src/UML_Logic.thy
+++ b/src/UML_Logic.thy
--- a/src/UML_Main.thy
+++ b/src/UML_Main.thy
--- a/src/UML_PropertyProfiles.thy
+++ b/src/UML_PropertyProfiles.thy
--- a/src/UML_State.thy
+++ b/src/UML_State.thy
--- a/src/UML_Tools.thy
+++ b/src/UML_Tools.thy
--- a/src/UML_Types.thy
+++ b/src/UML_Types.thy
--- a/src/basic_types/UML_Boolean.thy
+++ b/src/basic_types/UML_Boolean.thy
--- a/src/basic_types/UML_Integer.thy
+++ b/src/basic_types/UML_Integer.thy
--- a/src/basic_types/UML_Real.thy
+++ b/src/basic_types/UML_Real.thy
--- a/src/basic_types/UML_String.thy
+++ b/src/basic_types/UML_String.thy
--- a/src/basic_types/UML_Void.thy
+++ b/src/basic_types/UML_Void.thy
--- a/src/collection_types/UML_Bag.thy
+++ b/src/collection_types/UML_Bag.thy
--- a/src/collection_types/UML_Pair.thy
+++ b/src/collection_types/UML_Pair.thy
--- a/src/collection_types/UML_Sequence.thy
+++ b/src/collection_types/UML_Sequence.thy
--- a/src/collection_types/UML_Set.thy
+++ b/src/collection_types/UML_Set.thy
--- a/src/document/FOCL_Syntax.tex
+++ b/src/document/FOCL_Syntax.tex
--- a/src/document/conclusion.tex
+++ b/src/document/conclusion.tex
--- a/src/document/figures/AbstractSimpleChair.mp
+++ b/src/document/figures/AbstractSimpleChair.mp
--- a/src/document/figures/AbstractSimpleChair.pdf
+++ b/src/document/figures/AbstractSimpleChair.pdf
--- a/src/document/figures/jedit.png
+++ b/src/document/figures/jedit.png
--- a/src/document/figures/pdf.png
+++ b/src/document/figures/pdf.png
--- a/src/document/figures/person.png
+++ b/src/document/figures/person.png
--- a/src/document/figures/pre-post.pdf
+++ b/src/document/figures/pre-post.pdf
--- a/src/document/hol-ocl-isar.sty
+++ b/src/document/hol-ocl-isar.sty
--- a/src/document/introduction.tex
+++ b/src/document/introduction.tex
--- a/src/document/lstisar.sty
+++ b/src/document/lstisar.sty
--- a/src/document/omg.sty
+++ b/src/document/omg.sty
--- a/src/document/prooftree.sty
+++ b/src/document/prooftree.sty
--- a/src/document/root.bib
+++ b/src/document/root.bib
--- a/src/document/root.tex
+++ b/src/document/root.tex
--- a/examples/Employee_Model/Analysis/Analysis_UML.thy
+++ b/examples/Employee_Model/Analysis/Analysis_UML.thy
@ -45,7 +45,7 @@ chapter{* Example: The Employee Analysis Model *} (* UML part *)
 theory
  Analysis_UML
 imports
-  "../../../src/UML_Main"
+  "../../../UML_Main"
 begin

 text {* \label{ex:employee-analysis:uml} *}
--- a/examples/Employee_Model/Design/Design_UML.thy
+++ b/examples/Employee_Model/Design/Design_UML.thy
@ -45,7 +45,7 @@ chapter{* Example: The Employee Design Model *} (* UML part *)
 theory
  Design_UML
 imports
-  "../../../src/UML_Main"
+  "../../../UML_Main"
 begin

 text {* \label{ex:employee-design:uml} *}