|
| From: | Sigurd Nes |
| Subject: | [Phpgroupware-developers] proposal-branch; acl |
| Date: | Mon, 26 Apr 2004 21:12:15 +0200 |
| User-agent: | Mozilla Thunderbird 0.5 (Windows/20040207) |
How is groups modeled in acl2? (how to get the members of groups?) Sigurd
| [Prev in Thread] | Current Thread | [Next in Thread] |