Re: seperate keyword and seperate compilation with Gnat?

[bobduff@world.std.com (Robert A Duff)]

In article <JSA.96Jul12193715@organon.com>,
Jon S Anthony <jsa@organon.com> wrote:
>In article <DuEEtI.Cou@world.std.com> bobduff@world.std.com (Robert A Duff) writes:
>> The rules of the RM proper are entirely definitions and axioms.
>> Anything that's a theorem is put in a NOTE, so you know it's not a
>> basic fact, but can be derived from other facts.
>
>OK, fine.  This makes sense.  It would probably have been good to
>actually state this point explicitly, but whatever (or maybe it is and
>I just can't find it).

RM-1.1.2 says it, especially (14..16).  You have to know that
"normative" and "informative" are ISO buzzwords meaning, basically,
"definitions/axioms" and "theorems", respectively.  If you've never read
the ISO standard on standards, don't bother -- it's pretty boring.  ;-)

>Well, another thing that is very important is that often (in fact
>typically) the theorems are more important than the axioms/defs.  ...

Agreed.

...[stuff about two volumes, etc]
>volume".  I suppose that was too much work.  Oh well...

Yeah, that's part of it.

- Bob