diff --git a/su4sml/src/rep_secureuml.sml b/su4sml/src/rep_secureuml.sml index 72337fb..3f1b3bc 100644 --- a/su4sml/src/rep_secureuml.sml +++ b/su4sml/src/rep_secureuml.sml @@ -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