-- Boole.df
-- 	Copyright (C) 1986 by Xerox Corporation.  All rights reversed.
--		Package to manipulate of Boolean expressions, and link that to Core 
-- 	Bertrand Serlet, March 18, 1986 11:41:13 pm PST
-- 	Barth, March 19, 1986 9:15:34 pm PST

Exports [DATools]<DATools6.0>Top>

  Boole.df                                     20-Jun-86 12:16:01 PDT

Exports [DATools]<DATools6.0>Boole>

  Boole.load!8                                 27-Mar-86 17:14:09 PST
 +BoolePackage.bcd!95                          09-Jun-86 11:51:25 PDT

  Boole.mesa!3                                 22-May-86 16:05:31 PDT
 +Boole.bcd!8                                  22-May-86 16:05:37 PDT
  BooleCore.mesa!16                            06-May-86 15:51:03 PDT
 +BooleCore.bcd!38                             03-Jun-86 19:11:08 PDT
  BooleLibrary.dale!29                         20-Jun-86 11:50:51 PDT

Directory [DATools]<DATools6.0>Boole>

  MakeBoole.cm!3                               30-Mar-86 13:14:12 PST

  BoolePackage.config!12                       22-May-86 16:44:32 PDT

  BooleImpl.mesa!7                             03-Jun-86 19:28:32 PDT
 +BooleImpl.bcd!28                             03-Jun-86 19:29:22 PDT
  BooleCoreImpl.mesa!39                        03-Jun-86 19:12:53 PDT
 +BooleCoreImpl.bcd!92                         09-Jun-86 11:51:05 PDT

  BooleTest.mesa!25                            13-Jun-86 15:37:52 PDT
 +BooleTest.bcd!80                             13-Jun-86 15:38:41 PDT

  BooleTest.cm!14                              22-Apr-86 14:27:32 PST

Exports Imports [DATools]<DATools6.0>Top>CDCommon23.df Of ~=
Exports Imports [DATools]<DATools6.0>Top>CDCMosB23.df Of ~=
Exports Imports [DATools]<DATools6.0>Top>CellLibraries.df Of ~=
Exports Imports [DATools]<DATools6.0>Top>Core.df Of ~=
Exports Imports [DATools]<DATools6.0>Top>PW.df Of ~=
Exports Imports [DATools]<DATools6.0>Top>PWCore.df Of ~=
Exports Imports [DATools]<DATools6.0>Top>Rosemary.df Of ~=
Exports Imports [DATools]<DATools6.0>Top>Sinix.df Of ~=
Exports Imports [DATools]<DATools6.0>Top>Sisyph.df Of ~=

Imports [DATools]<DATools6.0>Top>CDCommon23.df Of ~=
  Using [CD.bcd, CDBasics.bcd, CDCells.bcd, CDDirectory.bcd, CDProperties.bcd,
    CDSymbolicObjects.bcd, D2Basic.bcd, TerminalIO.load, TerminalIO.bcd, TerminalIOImpl.bcd]
Imports [DATools]<DATools6.0>Top>CDCMosB23.df Of ~=
  Using [CMosB.bcd]
Imports [DATools]<DATools6.0>Top>Core.df Of ~=
  Using [Core.bcd, Core.load, CoreClasses.bcd, CoreCreate.bcd, CoreIO.bcd, CoreOps.bcd,
    CorePackage.bcd, CoreProperties.bcd]
Imports [DATools]<DATools6.0>Top>PW.df Of ~=
  Using [PW.bcd, PW.load]
Imports [DATools]<DATools6.0>Top>PWCore.df Of ~=
  Using [PWCore.bcd, PWCore.load]
Imports [DATools]<DATools6.0>Top>Rosemary.df Of ~=
  Using [Ports.bcd, Rosemary.bcd, RosemaryUser.bcd]
Imports [DATools]<DATools6.0>Top>Sinix.df Of ~=
  Using [Sinix.bcd, SinixCMos.bcd, Sinix.load]
Imports [DATools]<DATools6.0>Top>Sisyph.df Of ~=
  Using [Sisyph.bcd, Sisyph.load]


Imports [Cedar]<Cedar6.0>Top>BasicPackages.df Of ~=
  Using [RefTab.bcd, RopeList.bcd, SymTab.bcd]
Imports [Cedar]<Cedar6.0>Top>IO.df Of ~=
  Using [IO.bcd]
Imports [Cedar]<Cedar6.0>Top>Rope.df Of ~=
  Using [Rope.bcd]