-
- Downloads
upgrade to Isabelle2018 , synchronize with citadelle-devel 5bfebab420098b1083bf5b34a11b01e2f51e3568
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13763 3260e6d1-4efc-4170-b0a7-36055960796d
Showing
- C11-FrontEnd/src/C_Annotation.thy 31 additions, 22 deletionsC11-FrontEnd/src/C_Annotation.thy
- C11-FrontEnd/src/C_Lexer.thy 4 additions, 3 deletionsC11-FrontEnd/src/C_Lexer.thy
- Citadelle/LICENSE0.thy 4 additions, 4 deletionsCitadelle/LICENSE0.thy
- Citadelle/ROOT 3 additions, 20 deletionsCitadelle/ROOT
- Citadelle/ROOTS 1 addition, 0 deletionsCitadelle/ROOTS
- Citadelle/examples/AbstractList.thy 1 addition, 2 deletionsCitadelle/examples/AbstractList.thy
- Citadelle/examples/Bank_Model.thy 1 addition, 1 deletionCitadelle/examples/Bank_Model.thy
- Citadelle/examples/Bank_Test_Model.thy 1 addition, 1 deletionCitadelle/examples/Bank_Test_Model.thy
- Citadelle/examples/Clocks_Lib_Model.thy 1 addition, 1 deletionCitadelle/examples/Clocks_Lib_Model.thy
- Citadelle/examples/Employee_Model/Analysis/Analysis_OCL.thy 3 additions, 3 deletionsCitadelle/examples/Employee_Model/Analysis/Analysis_OCL.thy
- Citadelle/examples/Employee_Model/Analysis/Analysis_UML.thy 64 additions, 63 deletionsCitadelle/examples/Employee_Model/Analysis/Analysis_UML.thy
- Citadelle/examples/Employee_Model/Analysis_deep.thy 2 additions, 2 deletionsCitadelle/examples/Employee_Model/Analysis_deep.thy
- Citadelle/examples/Employee_Model/Analysis_shallow.thy 3 additions, 3 deletionsCitadelle/examples/Employee_Model/Analysis_shallow.thy
- Citadelle/examples/Employee_Model/Design/Design_OCL.thy 1 addition, 1 deletionCitadelle/examples/Employee_Model/Design/Design_OCL.thy
- Citadelle/examples/Employee_Model/Design/Design_UML.thy 65 additions, 64 deletionsCitadelle/examples/Employee_Model/Design/Design_UML.thy
- Citadelle/examples/Employee_Model/Design_deep.thy 2 additions, 2 deletionsCitadelle/examples/Employee_Model/Design_deep.thy
- Citadelle/examples/Employee_Model/Design_shallow.thy 3 additions, 3 deletionsCitadelle/examples/Employee_Model/Design_shallow.thy
- Citadelle/examples/Flight_Model.thy 3 additions, 4 deletionsCitadelle/examples/Flight_Model.thy
- Citadelle/examples/LinkedList.thy 1 addition, 2 deletionsCitadelle/examples/LinkedList.thy
- Citadelle/examples/archive/Flight_Model_compact.thy 1 addition, 2 deletionsCitadelle/examples/archive/Flight_Model_compact.thy
Loading
Please register or sign in to comment