diff --git a/ROOT b/ROOT index fc500c4..8f91394 100644 --- a/ROOT +++ b/ROOT @@ -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" diff --git a/src/UML_Contracts.thy b/UML_Contracts.thy similarity index 100% rename from src/UML_Contracts.thy rename to UML_Contracts.thy diff --git a/src/UML_Library.thy b/UML_Library.thy similarity index 100% rename from src/UML_Library.thy rename to UML_Library.thy diff --git a/src/UML_Logic.thy b/UML_Logic.thy similarity index 100% rename from src/UML_Logic.thy rename to UML_Logic.thy diff --git a/src/UML_Main.thy b/UML_Main.thy similarity index 100% rename from src/UML_Main.thy rename to UML_Main.thy diff --git a/src/UML_PropertyProfiles.thy b/UML_PropertyProfiles.thy similarity index 100% rename from src/UML_PropertyProfiles.thy rename to UML_PropertyProfiles.thy diff --git a/src/UML_State.thy b/UML_State.thy similarity index 100% rename from src/UML_State.thy rename to UML_State.thy diff --git a/src/UML_Tools.thy b/UML_Tools.thy similarity index 100% rename from src/UML_Tools.thy rename to UML_Tools.thy diff --git a/src/UML_Types.thy b/UML_Types.thy similarity index 100% rename from src/UML_Types.thy rename to UML_Types.thy diff --git a/src/basic_types/UML_Boolean.thy b/basic_types/UML_Boolean.thy similarity index 100% rename from src/basic_types/UML_Boolean.thy rename to basic_types/UML_Boolean.thy diff --git a/src/basic_types/UML_Integer.thy b/basic_types/UML_Integer.thy similarity index 100% rename from src/basic_types/UML_Integer.thy rename to basic_types/UML_Integer.thy diff --git a/src/basic_types/UML_Real.thy b/basic_types/UML_Real.thy similarity index 100% rename from src/basic_types/UML_Real.thy rename to basic_types/UML_Real.thy diff --git a/src/basic_types/UML_String.thy b/basic_types/UML_String.thy similarity index 100% rename from src/basic_types/UML_String.thy rename to basic_types/UML_String.thy diff --git a/src/basic_types/UML_Void.thy b/basic_types/UML_Void.thy similarity index 100% rename from src/basic_types/UML_Void.thy rename to basic_types/UML_Void.thy diff --git a/src/collection_types/UML_Bag.thy b/collection_types/UML_Bag.thy similarity index 100% rename from src/collection_types/UML_Bag.thy rename to collection_types/UML_Bag.thy diff --git a/src/collection_types/UML_Pair.thy b/collection_types/UML_Pair.thy similarity index 100% rename from src/collection_types/UML_Pair.thy rename to collection_types/UML_Pair.thy diff --git a/src/collection_types/UML_Sequence.thy b/collection_types/UML_Sequence.thy similarity index 100% rename from src/collection_types/UML_Sequence.thy rename to collection_types/UML_Sequence.thy diff --git a/src/collection_types/UML_Set.thy b/collection_types/UML_Set.thy similarity index 100% rename from src/collection_types/UML_Set.thy rename to collection_types/UML_Set.thy diff --git a/src/document/FOCL_Syntax.tex b/document/FOCL_Syntax.tex similarity index 100% rename from src/document/FOCL_Syntax.tex rename to document/FOCL_Syntax.tex diff --git a/src/document/conclusion.tex b/document/conclusion.tex similarity index 100% rename from src/document/conclusion.tex rename to document/conclusion.tex diff --git a/src/document/figures/AbstractSimpleChair.mp b/document/figures/AbstractSimpleChair.mp similarity index 100% rename from src/document/figures/AbstractSimpleChair.mp rename to document/figures/AbstractSimpleChair.mp diff --git a/src/document/figures/AbstractSimpleChair.pdf b/document/figures/AbstractSimpleChair.pdf similarity index 100% rename from src/document/figures/AbstractSimpleChair.pdf rename to document/figures/AbstractSimpleChair.pdf diff --git a/src/document/figures/jedit.png b/document/figures/jedit.png similarity index 100% rename from src/document/figures/jedit.png rename to document/figures/jedit.png diff --git a/src/document/figures/pdf.png b/document/figures/pdf.png similarity index 100% rename from src/document/figures/pdf.png rename to document/figures/pdf.png diff --git a/src/document/figures/person.png b/document/figures/person.png similarity index 100% rename from src/document/figures/person.png rename to document/figures/person.png diff --git a/src/document/figures/pre-post.pdf b/document/figures/pre-post.pdf similarity index 100% rename from src/document/figures/pre-post.pdf rename to document/figures/pre-post.pdf diff --git a/src/document/hol-ocl-isar.sty b/document/hol-ocl-isar.sty similarity index 100% rename from src/document/hol-ocl-isar.sty rename to document/hol-ocl-isar.sty diff --git a/src/document/introduction.tex b/document/introduction.tex similarity index 100% rename from src/document/introduction.tex rename to document/introduction.tex diff --git a/src/document/lstisar.sty b/document/lstisar.sty similarity index 100% rename from src/document/lstisar.sty rename to document/lstisar.sty diff --git a/src/document/omg.sty b/document/omg.sty similarity index 100% rename from src/document/omg.sty rename to document/omg.sty diff --git a/src/document/prooftree.sty b/document/prooftree.sty similarity index 100% rename from src/document/prooftree.sty rename to document/prooftree.sty diff --git a/src/document/root.bib b/document/root.bib similarity index 100% rename from src/document/root.bib rename to document/root.bib diff --git a/src/document/root.tex b/document/root.tex similarity index 100% rename from src/document/root.tex rename to document/root.tex diff --git a/examples/Employee_Model/Analysis/Analysis_UML.thy b/examples/Employee_Model/Analysis/Analysis_UML.thy index 36c0ef9..c542a15 100644 --- 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} *} diff --git a/examples/Employee_Model/Design/Design_UML.thy b/examples/Employee_Model/Design/Design_UML.thy index e1da591..7699c0b 100644 --- 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} *}