This files have been download from various sources:

- <http://www.ada-auth.org/>, and postprocessing has been applied
  using the official ARM formatter.

- <ftp://ftp.adapower.com/pub/rm95texi.zip> for the Texinfo version.

Florian Weimer, <fw@deneb.enyo.de>, 2003-01-10
