afp-mirror
/
Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Featherweight_OCL/Featherweight_OCL/examples/Employee_Model/Design
History
Achim D. Brucker 8bf5757ecd Import of current (Isabelle 2017) release of Featherweight OCL. 2017-11-30 23:17:27 +00:00
..
Design_OCL.thy Clarified file structure. Official AFP entry is now in directory Featherweight_OCL. 2017-01-07 00:04:06 +00:00
Design_UML.thy Import of current (Isabelle 2017) release of Featherweight OCL. 2017-11-30 23:17:27 +00:00