Changes between Version 2 and Version 3 of ClosedTypeFamilies
- Timestamp:
- 10/16/08 03:47:23 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ClosedTypeFamilies
v2 v3 1 1 = Closed Type Synonym Families = 2 2 3 SeeTotalFamilies3 see TypeFunctions/TotalFamilies
