-- AssertingImpl.DF
-- Last Edited by: Spreitzer, October 6, 1984 5:02:18 pm PDT

Exports [Indigo]<Rosemary>Aux>Top>

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

Exports [Indigo]<Rosemary>Aux>Asserting>

  Asserting.Load!2                             14-Sep-84 21:17:51 PDT
 +AssertingImpl.BCD!9                          12-Jan-85 16:32:12 PST

Exports Imports [Indigo]<PostCedar5.2>Top>IOClassesFix.DF Of ~=

Exports Imports [Indigo]<Cedar5.2>Top>StructuredStreams.DF Of ~=
  Using [+StructuredStreamsPackage.BCD]