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

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6298 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Achim D. Brucker 2007-04-03 12:23:49 +00:00
parent c61da0fcbd
commit 87d9937b8d
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/ocl_library.sml
View File

@ -36,12 +36,6 @@ open Rep_Core
open Rep_OclType
val OclLibPackage="oclLib"
fun is_oclLib c = let
fun listin _ [] = false
| listin e (x::xs) = if e=x then true else listin e xs
in
listin c oclLib
end
val oclLib =
[Template
@ -1243,4 +1237,10 @@ val oclLib =
}
] : Rep_Core.Classifier list
fun is_oclLib c = let
fun listin _ [] = false
| listin e (x::xs) = if e=x then true else listin e xs
in
listin c oclLib
end
end