-- Asserting.df
-- Copyright (C) 1985 by Xerox Corporation.  All rights reserved.
-- Spreitzer, February 13, 1986 5:22:44 pm PST
-- Rick Beach, June 4, 1985 8:46:18 pm PDT

Exports [Cedar]<CedarChest6.0>Top>

  Asserting.df                                 13-Feb-86 17:22:48 PST

Exports [Cedar]<CedarChest6.0>Documentation>

  AssertingDoc.tioga!1                         24-May-85 16:31:04 PDT

Exports [Cedar]<CedarChest6.0>Asserting>

  Asserting.Mesa!1                             01-May-85 22:05:03 PDT
  Asserting.BCD!1                              24-May-85 16:11:51 PDT
  AssertingIO.Mesa!1                           12-Jan-85 15:49:22 PST
  AssertingIO.BCD!1                            24-May-85 16:11:52 PDT

  Asserting.Load!2                             13-Feb-86 17:22:02 PST

 +AssertingImpl.BCD!3                          13-Feb-86 17:22:29 PST

Directory [Cedar]<CedarChest6.0>Asserting>

  AssertingImpl.Mesa!1                         24-May-85 16:26:14 PDT

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

Imports [Cedar]<Cedar6.0>Top>IO.DF Of ~=
  Using [IO.BCD, IOClasses.BCD]

Imports [Cedar]<Cedar6.0>Top>Rope.DF Of ~=
  Using [Rope.BCD]

Imports [Cedar]<Cedar6.0>Top>SafeStorage.DF Of ~=
  Using [Atom.BCD, List.BCD]

Imports [Cedar]<CedarChest6.0>Top>StructuredStreams.DF Of ~=
  Using [StructuredStreams.BCD]

Exports Imports [Cedar]<CedarChest6.0>Top>StructuredStreams.DF Of ~=