afp-mirror/Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
main
Featherweight_OCL/Featherweight_OCL/examples/Employee_Model
History
Achim D. Brucker 98df203945
All checks were successful
afp-mirror/Featherweight_OCL/master This commit looks good
Details
Import of official AFP entry for Isabelle 2019.
2019-06-22 23:44:04 +01:00
..
Analysis Import of official AFP entry for Isabelle 2019. 2019-06-22 23:44:04 +01:00
Design Import of official AFP entry for Isabelle 2019. 2019-06-22 23:44:04 +01:00