-- Asserting.DF
-- Last Edited by: Spreitzer, September 14, 1984 7:54:48 pm PDT

Include [Indigo]<Rosemary>Aux>Top>AssertingImpl.DF Of ~=

Exports [Indigo]<Rosemary>Aux>Top>

  Asserting.DF                                 12-Jan-85 17:45:58 PST

Exports [Indigo]<Rosemary>Aux>Asserting>

  Asserting.Mesa!5                             12-Jan-85 15:39:30 PST
  Asserting.BCD!5                              12-Jan-85 16:32:04 PST
  AssertingIO.Mesa!2                           12-Jan-85 15:49:22 PST
  AssertingIO.BCD!4                            12-Jan-85 16:32:06 PST

Exports [Indigo]<Rosemary>Aux>Asserting>

  AssertingImpl.Mesa!9                         12-Jan-85 15:49:19 PST

Imports [Indigo]<Cedar5.2>Top>IO.DF Of ~=
  Using [IO.Mesa, IO.BCD, IOClasses.Mesa, IOClasses.BCD]

Imports [Indigo]<Cedar5.2>Top>Rope.DF Of ~=
  Using [Rope.Mesa, Rope.BCD]

Imports [Indigo]<Cedar5.2>Top>SafeStorage.DF Of ~=
  Using [Atom.Mesa, Atom.BCD, List.Mesa, List.BCD]

Imports [Indigo]<Cedar5.2>Top>StructuredStreams.DF Of ~=
  Using [StructuredStreams.Mesa, StructuredStreams.BCD]