Changes between Version 4 and Version 5 of IdsAdiTemplateDefinitions
- Timestamp:
- 11/05/09 21:07:16 (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
IdsAdiTemplateDefinitions
v4 v5 20 20 For a description of what templates are and the various types of template refer to [wiki:IdsAdiTemplateTypes] 21 21 22 For a description of how to develop new axioms using the Template Expander tool, see [wiki:IdsAdiTemplateAxiomatizationTools]. 23 22 24 To be added ... 23 25