-- Asserting.df
-- Copyright (C) 1985 by Xerox Corporation.  All rights reserved.
-- Spreitzer, January 25, 1985 6:53:19 pm PST

Exports [Indigo]<CedarHacks5.2>Top>

  Asserting.df                                 01-May-85 22:17:24 PDT

Exports [Indigo]<CedarHacks5.2>Documentation>

  AssertingDoc.tioga!1                         25-Jan-85 18:47:14 PST

Exports [Indigo]<CedarHacks5.2>Asserting>

  Asserting.Mesa!3                             01-May-85 22:05:03 PDT
  Asserting.BCD!3                              01-May-85 22:16:54 PDT
  AssertingIO.Mesa!1                           12-Jan-85 15:49:22 PST
  AssertingIO.BCD!3                            01-May-85 22:16:57 PDT

  Asserting.Load!1                             14-Sep-84 21:17:51 PDT

 +AssertingImpl.BCD!3                          01-May-85 22:17:01 PDT

Directory [Indigo]<CedarHacks5.2>Asserting>

  AssertingImpl.Mesa!3                         01-May-85 22:16:39 PDT

  MakeAsserting.cm!1                           25-Jan-85 18:47:59 PST

Exports Imports [Indigo]<PostCedar5.2>Top>IOClassesFix.DF Of ~=
  Using [IOClassesFix.Load, +IOClassesFix.BCD]

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

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]