afp-mirror
/
Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Featherweight_OCL/examples
History
Achim D. Brucker ed232e8aa3 Import of Featherweight OCL release afp-Featherweight_OCL-2015-05-27 (Isabelle 2015). 2016-08-10 11:10:49 +01:00
..
Employee_AnalysisModel_OCLPart.thy Import of Featherweight OCL release afp-Featherweight_OCL-2015-05-27 (Isabelle 2015). 2016-08-10 11:10:49 +01:00
Employee_AnalysisModel_UMLPart.thy Import of Featherweight OCL release afp-Featherweight_OCL-2015-05-27 (Isabelle 2015). 2016-08-10 11:10:49 +01:00
Employee_DesignModel_OCLPart.thy Import of Featherweight OCL release afp-Featherweight_OCL-2015-05-27 (Isabelle 2015). 2016-08-10 11:10:49 +01:00
Employee_DesignModel_UMLPart.thy Import of Featherweight OCL release afp-Featherweight_OCL-2015-05-27 (Isabelle 2015). 2016-08-10 11:10:49 +01:00