Following changes in the English version are merged.

about.sgml: 1.5 -> 1.7
application.sgml: 1.6 -> 1.7
auditors.sgml: 1.19 -> 1.20
machines.sgml: new translation

Submitted by: ohashi@mickey.ai.kyutech.ac.jp, takas-su@is.aist-nara.ac.jp