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

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

This commit is contained in:
Manuel Krucker 2008-05-08 09:59:02 +00:00
parent e5202a9f04
commit 8f911612ec
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/wfcpog/status.txt
View File

@ -8,7 +8,7 @@
"refineconstraint.sml" ===> [ready for isabelle]
"commandqueryconsistency.sml" ===> [IMPLEMENTAITON NOT FINISHED]
"taxonomyconsistency.sml" ===> [DONE]
"interfaceconsistency.sml" ===> [ready for isabelle]
"interfaceconsistency.sml" ===> [DONE]
"SecureUMLconstraint.sml" ===> [IMPLEMENTATION NOT FINISHED]

4
su4sml/src/wfcpog/test-data.sml
View File

@ -122,5 +122,5 @@ val pos = [po_cstr]
val wfs = [wfc_vis]
val pos = []
*)
val wfs = [wfc_vis_class]
val pos = []
val wfs = []
val pos = [po_rfm_SR]