Changes between Version 2 and Version 3 of SigMmt/Templates/ClassifiedParticipation
- Timestamp:
- 12/28/10 12:40:49 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmt/Templates/ClassifiedParticipation
v2 v3 11 11 Axiom: 12 12 {{{ 13 DefinitionOfClass(x1, x2, x3) <->13 ClassifiedParticipation(x1, x2, x3) <-> 14 14 PossibleIndividual(x1) & 15 15 Activity(x2) &