-- 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 ~=