-- BigCardinals.df
-- Copyright Ó 1992 by Xerox Corporation.  All rights reserved.
-- DFPort: Michael Plass, February 26, 1992 10:59:29 am PST

Exports [Cedar10.1]<Top>
  BigCardinals.df                              26-Feb-92 11:04:57 PST

Directory [Cedar10.1]<BigCardinals>
  BigCardinals.mob!1                           26-Feb-92 11:02:02 PST
  BigCardinals.mesa!1                          18-Nov-91 11:46:58 PST

  BigCardinalsDoc.tioga!1                      18-Nov-91 11:47:01 PST

  BigCardinals.require!1                       18-Nov-91 11:51:48 PST

  BigCardinalsImpl.mob!1                       26-Feb-92 11:02:19 PST
  BigCardinalsImpl.mesa!1                      18-Nov-91 11:50:30 PST
  BigCardinalsImpl.c2c.c!1                     26-Feb-92 11:02:31 PST
  +sun4>BigCardinalsImpl.c2c.o!1                26-Feb-92 11:03:47 PST

Imports [Cedar10.1]<Top>Basics.df Of ~=
  Using [Basics.mob, Basics16.mob]

Imports [Cedar10.1]<Top>BootPackages.df Of ~=
  Using [Random.mob]

Imports [Cedar10.1]<Top>FloatingPoint.df Of ~=
  Using [Real.mob]

Imports [Cedar10.1]<Top>IO.df Of ~=
  Using [Convert.mob, IO.mob]

Imports [Cedar10.1]<Top>Rope.df Of ~=
  Using [Rope.mob]