-- Asserting.df
-- Copyright (C) 1985, 1986 by Xerox Corporation.  All rights reserved.
-- Rick Beach, June 4, 1985 8:46:18 pm PDT
-- Spreitzer, February 13, 1986 5:22:44 pm PST
-- Doug Wyatt, May 15, 1986 4:36:35 pm PDT
-- Mike Spreitzer July 30, 1986 11:40:06 pm PDT

Exports [Cedar]<CedarChest6.1>Top>

  Asserting.df                                 30-Jul-86 23:40:09 PDT

Exports [Cedar]<CedarChest6.1>Documentation>

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

Exports [Cedar]<CedarChest6.1>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!1                             13-Feb-86 17:22:02 PST

 +AssertingImpl.BCD!2                          30-Jul-86 23:38:42 PDT

Directory [Cedar]<CedarChest6.1>Asserting>

  AssertingImpl.Mesa!2                         30-Jul-86 23:38:16 PDT

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

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

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

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

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

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