Achim D. Brucker
|
f30ae05ab6
|
Migration to Isabelle 2021-1 (based on afp-2021-12-28).
|
2021-12-30 19:13:15 +00:00 |
Achim D. Brucker
|
98df203945
|
Import of official AFP entry for Isabelle 2019.
afp-mirror/Featherweight_OCL/master This commit looks good
Details
|
2019-06-22 23:44:04 +01:00 |
Achim D. Brucker
|
a5b1b8fe20
|
Import of AFP entry for Isabelle 2018.
|
2018-12-25 14:52:23 +00:00 |
Achim D. Brucker
|
326517f7f9
|
Clarified file structure. Official AFP entry is now in directory Featherweight_OCL.
|
2017-01-07 00:04:06 +00:00 |