-- Boole.df
-- Copyright Ó 1987, 1988 by Xerox Corporation.  All rights reserved.
-- Package to manipulate of Boolean expressions, and link that to Core 
-- Bertrand Serlet, May 7, 1988 11:15:17 pm PDT
-- Barth, April 2, 1987 11:31:15 am PST

Exports [DATools7.0]<Top>

  Boole.df                                     22-Nov-88 10:41:16 PST

Exports [DATools7.0]<Boole>

  BooleDoc.tioga!2                             02-Apr-87 21:33:32 PST
  Boole.install!4                              01-Sep-87 12:30:33 PDT
  BooleFSA.install!1                           01-Sep-87 12:30:01 PDT
  BooleCascode.install!1                       01-Sep-87 12:31:23 PDT
  +BoolePackage.bcd!42                          16-Aug-88 09:51:23 PDT
  BooleLibrary.dale!5                          01-Sep-87 22:48:55 PDT
  FSA.dale!2                                   04-May-87 10:47:45 PDT

Directory [DATools7.0]<Boole>

  Boole.mesa!2                                 02-Apr-87 21:34:37 PST
  +Boole.bcd!2                                  02-Apr-87 21:43:40 PST
  BooleCore.mesa!3                             01-Sep-87 13:07:19 PDT
  +BooleCore.bcd!6                              01-Sep-87 13:07:26 PDT
  FiniteStateAutomata.mesa!2                   02-Apr-87 21:35:14 PST
  +FiniteStateAutomata.bcd!2                    02-Apr-87 21:44:02 PST
  FSAExtras.mesa!2                             02-Apr-87 21:35:47 PST
  +FSAExtras.bcd!25                             16-Aug-88 09:51:05 PDT

  BoolePackage.config!6                        05-May-88 23:19:39 PDT

  BooleImpl.mesa!3                             19-May-87 00:13:52 PDT
  +BooleImpl.bcd!3                              19-May-87 01:27:22 PDT
  BooleCoreImpl.mesa!5                         01-Sep-87 23:40:30 PDT
  +BooleCoreImpl.bcd!33                         16-Aug-88 09:51:19 PDT
  FiniteStateAutomataImpl.mesa!3               05-May-88 23:18:10 PDT
  +FiniteStateAutomataImpl.bcd!18               05-May-88 23:18:29 PDT
  FSAExtrasImpl.mesa!2                         02-Apr-87 21:39:46 PST
  +FSAExtrasImpl.bcd!26                         16-Aug-88 09:51:13 PDT

  TestBoole.mesa!4                             05-May-88 23:44:41 PDT
  +TestBoole.bcd!42                             16-Aug-88 09:51:09 PDT
  FSAExample.mesa!2                            02-Apr-87 21:40:21 PST
  +FSAExample.bcd!20                            11-Feb-88 23:48:15 PST
  MeadConwayPLA.mesa!2                         02-Apr-87 21:40:32 PST
  +MeadConwayPLA.bcd!31                         16-Aug-88 09:51:11 PDT

  BooleExamples.cm!1                           21-May-87 22:50:37 PDT
  BooleExamples.mesa!1                         18-May-87 23:08:01 PDT
  +BooleExamples.bcd!20                         16-Aug-88 09:51:06 PDT
  BooleExamples.dale!2                         21-May-87 23:47:55 PDT
  BooleExamples.cif!1                          21-May-87 21:54:41 PDT
  BooleExamplesLibrary.dale!1                  21-May-87 23:32:49 PDT

  TestBoole.cm!3                               05-May-88 23:46:22 PDT

Imports [DATools7.0]<Top>CDCommon25.df Of ~=
  Using [CD.bcd, CDBasics.bcd, CDCells.bcd, CDDirectory.bcd, CDInstances.bcd, CDProperties.bcd, CDRects.bcd, CDSymbolicObjects.bcd]
Imports [DATools7.0]<Top>CDCMosB25.df Of ~=
  Using [CMosB.bcd]
Imports [DATools7.0]<Top>Core.df Of ~=
  Using [BrineIO.bcd, Core.bcd, CoreClasses.bcd, CoreCreate.bcd, CoreFlat.bcd, CoreIO.bcd, CoreOps.bcd, CoreProperties.bcd]
Imports [DATools7.0]<Top>D2Basic3.df Of ~=
  Using [D2Basic.bcd, D2Orient.bcd]
Imports [DATools7.0]<Top>Extract.df Of ~=
  Using [Sinix.bcd, SinixOps.bcd, Sisyph.bcd]
Imports [DATools7.0]<Top>PW.df Of ~=
  Using [PW.bcd]
Imports [DATools7.0]<Top>PWCore.df Of ~=
  Using [PWCore.bcd, TilingClass.bcd]
Imports [DATools7.0]<Top>Rosemary.df Of ~=
  Using [Ports.bcd, Rosemary.bcd, RosemaryUser.bcd]

Imports [CedarChest7.0]<Top>TerminalIO.df Of ~=
  Using [TerminalIO.bcd]

Imports [Cedar7.0]<Top>BootPackages.df Of ~=
  Using [RefTab.bcd]
Imports [Cedar7.0]<Top>IO.df Of ~=
  Using [IO.bcd]
Imports [Cedar7.0]<Top>Rope.df Of ~=
  Using [Rope.bcd]
Imports [Cedar7.0]<Top>SafeStorage.df Of ~=
  Using [Atom.bcd]