afp-mirror
/
Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Featherweight_OCL/Featherweight_OCL/basic_types
History
Achim D. Brucker 98df203945
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