afp-mirror/Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
main
Featherweight_OCL/Featherweight_OCL/basic_types
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
..
UML_Boolean.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 23:44:04 +01:00
UML_Integer.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 23:44:04 +01:00
UML_Real.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 23:44:04 +01:00
UML_String.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 23:44:04 +01:00
UML_Void.thy Import of official AFP entry for Isabelle 2019. 2019-06-22 23:44:04 +01:00