HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

fixed declaration syntax 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5562 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2006-11-08 11:11:42 +00:00
parent cf9c038363
commit 79295cd93a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/rep_su2holocl.sml
View File

@ -96,7 +96,7 @@ fun ocl_implies a b = ocl_opcall a ["oclLib", "Boolean", "implies"] [b] Boolean
(* String : size, concat, substring, toInteger, toReal *)
(* OclAny *)
fun (a ocl_eq b) = ocl_opcall a ["oclLib", "OclAny", "="] [b] Boolean
fun ocl_eq a b = ocl_opcall a ["oclLib", "OclAny", "="] [b] Boolean
fun ocl_neq a b = ocl_opcall a ["oclLib", "OclAny", "<>"] [b] Boolean
fun ocl_isNew a = ocl_opcall a ["oclLib", "OclAny", "oclIsNew"] nil Boolean
fun ocl_isUndefined a = ocl_opcall a ["oclLib", "OclAny", "oclIsUndefined"] nil Boolean