From Jason Turner

[defns.additional]

Diff to HTML by rtfpessoa

tmp/tmpttfq0isf/{from.md → to.md} RENAMED
@@ -1,5 +0,0 @@
1
- ## Additional definitions <a id="defns.additional">[[defns.additional]]</a>
2
-
3
- [[intro.defs]] defines additional terms used elsewhere in this
4
- International Standard.
5
-