-- Boole24.df
-- 	Copyright (C) 1986, 1987 by Xerox Corporation.  All rights reversed.
--		Package to manipulate of Boolean expressions, and link that to Core 
-- 	Bertrand Serlet, March 15, 1987 0:57:20 am PST
-- 	Barth, November 18, 1986 5:57:51 pm PST

Exports [DATools]<DATools6.1>Top>

  Boole24.df                                   18-Apr-87 16:17:09 PDT

Exports [DATools]<DATools6.1>Boole24>

  BooleDoc.tioga!1                             21-Jul-86 16:05:49 PDT
  Boole.load!1                                 14-Oct-86 01:06:06 PDT
 +BoolePackage.bcd!13                          17-Mar-87 00:26:59 PST

  Boole.mesa!1                                 26-Aug-86 09:58:59 PDT
 +Boole.bcd!1                                  26-Aug-86 10:43:28 PDT
  BooleCore.mesa!2                             02-Mar-87 19:59:49 PST
 +BooleCore.bcd!3                              02-Mar-87 20:03:07 PST
  BooleLibrary.dale!7                          18-Apr-87 16:12:32 PDT
  FiniteStateAutomata.mesa!1                   31-Oct-86 17:59:38 PST
 +FiniteStateAutomata.bcd!1                    04-Dec-86 22:17:47 PST
  FSAExtras.mesa!1                             19-Nov-86 10:47:03 PST
 +FSAExtras.bcd!8                              15-Mar-87 18:42:51 PST
  FSA.dale!1                                   19-Nov-86 18:32:14 PST

Directory [DATools]<DATools6.1>Boole24>

  MakeBoole.cm!1                               21-Aug-86 14:47:28 PDT

  BoolePackage.config!1                        17-Dec-86 07:15:50 PST

  BooleImpl.mesa!1                             26-Aug-86 12:29:31 PDT
 +BooleImpl.bcd!1                              26-Aug-86 12:29:42 PDT
  BooleCoreImpl.mesa!4                         15-Mar-87 18:54:37 PST
 +BooleCoreImpl.bcd!11                         17-Mar-87 00:26:44 PST
  FiniteStateAutomataImpl.mesa!1               17-Dec-86 06:45:55 PST
 +FiniteStateAutomataImpl.bcd!5                14-Mar-87 02:46:25 PST
  FSAExtrasImpl.mesa!1                         19-Nov-86 18:30:03 PST
 +FSAExtrasImpl.bcd!8                          15-Mar-87 18:43:47 PST

  TestBoole.mesa!2                             02-Mar-87 20:04:32 PST
 +TestBoole.bcd!14                             17-Mar-87 00:27:19 PST
  FSAExample.mesa!1                            03-Nov-86 12:36:06 PST
 +FSAExample.bcd!6                             14-Mar-87 02:46:53 PST
  MeadConwayPLA.mesa!2                         02-Mar-87 20:20:29 PST
 +MeadConwayPLA.bcd!4                          17-Mar-87 00:26:28 PST
  JMHCell.mesa!1                               03-Mar-87 01:05:52 PST
 +JMHCell.bcd!3                                17-Mar-87 00:26:32 PST

  TestBoole.cm!2                               18-Apr-87 16:12:21 PDT

-- next generation of Alps: two level (still in preparation)
 +TrueAlps.mesa!1                              22-Jun-86 22:59:36 PDT
 +TrueAlpsImpl.mesa!1                          22-Jun-86 22:59:28 PDT
 +TrueAlps.dale!1                              22-Jun-86 22:32:08 PDT

-- A whole Chip made with Alps! (to be updated soon)
-- Uses the router
 +AlpsChip.mesa!1                              16-Jun-86 01:13:06 PDT
  AlpsToy.dale!1                               06-Oct-86 22:41:16 PDT
  AlpsSch.dale!1                               07-Oct-86 17:20:54 PDT


Imports [DATools]<DATools6.1>Top>CDCommon24.df Of ~=
  Using [CD.bcd, CDBasics.bcd, CDCells.bcd, CDDirectory.bcd, CDInstances.bcd,
    CDProperties.bcd, CDRects.bcd, CDSymbolicObjects.bcd, D2Basic.bcd, D2Orient.bcd,
    TerminalIO.load, TerminalIO.bcd, TerminalIOImpl.bcd]
Imports [DATools]<DATools6.1>Top>CDCMosB24.df Of ~=
  Using [CMosB.bcd]
Imports [DATools]<DATools6.1>Top>Core.df Of ~=
  Using [Core.bcd, Core.load, CoreClasses.bcd, CoreCreate.bcd, CoreFlat.bcd, CoreIO.bcd,
    CoreOps.bcd, CorePackage.bcd, CoreProperties.bcd]
Imports [DATools]<DATools6.1>Top>Extract24.df Of ~=
  Using [Sinix.bcd, SinixOps.bcd, Sisyph.bcd, Extract.load]
Imports [DATools]<DATools6.1>Top>PW24.df Of ~=
  Using [PW.bcd, PW.load, PWObjects.bcd]
Imports [DATools]<DATools6.1>Top>PWCore24.df Of ~=
  Using [PWCore.bcd, TilingClass.bcd, PWCore.load]
Imports [DATools]<DATools6.1>Top>Rosemary.df Of ~=
  Using [Ports.bcd, Rosemary.bcd, RosemaryUser.bcd]


Imports [Cedar]<CedarChest6.1>Top>HashTable.df Of ~=
  Using [HashTable.bcd]

Imports [Cedar]<Cedar6.1>Top>IO.df Of ~=
  Using [Atom.bcd, IO.bcd]
Imports [Cedar]<Cedar6.1>Top>Rope.df Of ~=
  Using [Rope.bcd]