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

open Rep_Core added 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7956 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-12 13:01:03 +00:00
parent e7f20c0095
commit d59880b811
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
su4sml/src/rep_secureuml.sml
View File

@ -40,7 +40,6 @@
(* $Id$ *)
signature REP_SECUREUML =
sig
type Subject
@ -62,6 +61,10 @@ end
structure Rep_SecureUML : REP_SECUREUML =
struct
open Rep_Core
datatype Subject = User of string
| Group of Group
withtype Group = string * Subject list