Summary
- merged
- restructure source layout for some sessions In case of build failure, the build scripts need to be able to figure out the AFP entry from the failing session. Since there is no one-to-one mapping from entry names to session names, we look at the source root of the failing session and expect this to be a direct subfolder of "thys". Some sessions violated that expectation. This commit rectifies that.
- adapt Card_Equiv_Relations to partitions/partition_of change
The file was added | thys/Featherweight_OCL/UML_Contracts.thy |
The file was added | thys/Featherweight_OCL/UML_Library.thy |
The file was added | thys/Featherweight_OCL/UML_Logic.thy |
The file was added | thys/Featherweight_OCL/UML_Main.thy |
The file was added | thys/Featherweight_OCL/UML_PropertyProfiles.thy |
The file was added | thys/Featherweight_OCL/UML_State.thy |
The file was added | thys/Featherweight_OCL/UML_Tools.thy |
The file was added | thys/Featherweight_OCL/UML_Types.thy |
The file was added | thys/Featherweight_OCL/basic_types/UML_Boolean.thy |
The file was added | thys/Featherweight_OCL/basic_types/UML_Integer.thy |
The file was added | thys/Featherweight_OCL/basic_types/UML_Real.thy |
The file was added | thys/Featherweight_OCL/basic_types/UML_String.thy |
The file was added | thys/Featherweight_OCL/basic_types/UML_Void.thy |
The file was added | thys/Featherweight_OCL/collection_types/UML_Bag.thy |
The file was added | thys/Featherweight_OCL/collection_types/UML_Pair.thy |
The file was added | thys/Featherweight_OCL/collection_types/UML_Sequence.thy |
The file was added | thys/Featherweight_OCL/collection_types/UML_Set.thy |
The file was added | thys/Featherweight_OCL/document/FOCL_Syntax.tex |
The file was added | thys/Featherweight_OCL/document/conclusion.tex |
The file was added | thys/Featherweight_OCL/document/figures/AbstractSimpleChair.mp |
The file was added | thys/Featherweight_OCL/document/figures/AbstractSimpleChair.pdf |
The file was added | thys/Featherweight_OCL/document/figures/jedit.png |
The file was added | thys/Featherweight_OCL/document/figures/pdf.png |
The file was added | thys/Featherweight_OCL/document/figures/person.png |
The file was added | thys/Featherweight_OCL/document/figures/pre-post.pdf |
The file was added | thys/Featherweight_OCL/document/hol-ocl-isar.sty |
The file was added | thys/Featherweight_OCL/document/introduction.tex |
The file was added | thys/Featherweight_OCL/document/lstisar.sty |
The file was added | thys/Featherweight_OCL/document/omg.sty |
The file was added | thys/Featherweight_OCL/document/prooftree.sty |
The file was added | thys/Featherweight_OCL/document/root.bib |
The file was added | thys/Featherweight_OCL/document/root.tex |
The file was modified | thys/CAVA_Automata/ROOT (diff) |
The file was modified | thys/Featherweight_OCL/ROOT (diff) |
The file was modified | thys/Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_UML.thy (diff) |
The file was modified | thys/Featherweight_OCL/examples/Employee_Model/Design/Design_UML.thy (diff) |
The file was modified | thys/Jordan_Normal_Form/ROOT (diff) |
The file was modified | thys/Launchbury/ROOT (diff) |
The file was modified | thys/Show/ROOT (diff) |
The file was removed | thys/Featherweight_OCL/src/UML_Contracts.thy |
The file was removed | thys/Featherweight_OCL/src/UML_Library.thy |
The file was removed | thys/Featherweight_OCL/src/UML_Logic.thy |
The file was removed | thys/Featherweight_OCL/src/UML_Main.thy |
The file was removed | thys/Featherweight_OCL/src/UML_PropertyProfiles.thy |
The file was removed | thys/Featherweight_OCL/src/UML_State.thy |
The file was removed | thys/Featherweight_OCL/src/UML_Tools.thy |
The file was removed | thys/Featherweight_OCL/src/UML_Types.thy |
The file was removed | thys/Featherweight_OCL/src/basic_types/UML_Boolean.thy |
The file was removed | thys/Featherweight_OCL/src/basic_types/UML_Integer.thy |
The file was removed | thys/Featherweight_OCL/src/basic_types/UML_Real.thy |
The file was removed | thys/Featherweight_OCL/src/basic_types/UML_String.thy |
The file was removed | thys/Featherweight_OCL/src/basic_types/UML_Void.thy |
The file was removed | thys/Featherweight_OCL/src/collection_types/UML_Bag.thy |
The file was removed | thys/Featherweight_OCL/src/collection_types/UML_Pair.thy |
The file was removed | thys/Featherweight_OCL/src/collection_types/UML_Sequence.thy |
The file was removed | thys/Featherweight_OCL/src/collection_types/UML_Set.thy |
The file was removed | thys/Featherweight_OCL/src/document/FOCL_Syntax.tex |
The file was removed | thys/Featherweight_OCL/src/document/conclusion.tex |
The file was removed | thys/Featherweight_OCL/src/document/figures/AbstractSimpleChair.mp |
The file was removed | thys/Featherweight_OCL/src/document/figures/AbstractSimpleChair.pdf |
The file was removed | thys/Featherweight_OCL/src/document/figures/jedit.png |
The file was removed | thys/Featherweight_OCL/src/document/figures/pdf.png |
The file was removed | thys/Featherweight_OCL/src/document/figures/person.png |
The file was removed | thys/Featherweight_OCL/src/document/figures/pre-post.pdf |
The file was removed | thys/Featherweight_OCL/src/document/hol-ocl-isar.sty |
The file was removed | thys/Featherweight_OCL/src/document/introduction.tex |
The file was removed | thys/Featherweight_OCL/src/document/lstisar.sty |
The file was removed | thys/Featherweight_OCL/src/document/omg.sty |
The file was removed | thys/Featherweight_OCL/src/document/prooftree.sty |
The file was removed | thys/Featherweight_OCL/src/document/root.bib |
The file was removed | thys/Featherweight_OCL/src/document/root.tex |
The file was modified | thys/Card_Equiv_Relations/Card_Equiv_Relations.thy (diff) |
The file was modified | thys/Card_Equiv_Relations/More_Set_Partition.thy (diff) |