-- Boole.df
-- 	Copyright (C) 1986 by Xerox Corporation.  All rights reversed.
--		Package to manipulate of Boolean expressions, and link that to Core 
-- 	Bertrand Serlet, October 18, 1986 0:14:37 am PDT
-- 	Barth, November 18, 1986 5:57:51 pm PST

Exports [DATools]<DATools6.1>Top>

  Boole.df                                     13-Dec-86 14:28:30 PST

Exports [DATools]<DATools6.1>Boole>

  BooleDoc.tioga!1                             21-Jul-86 16:05:49 PDT
  Boole.load!2                                 14-Oct-86 01:06:06 PDT
 +BoolePackage.bcd!58                          13-Dec-86 14:28:26 PST

  Boole.mesa!3                                 26-Aug-86 09:58:59 PDT
 +Boole.bcd!3                                  26-Aug-86 10:43:28 PDT
  BooleCore.mesa!3                             26-Sep-86 21:34:28 PDT
 +BooleCore.bcd!20                             04-Dec-86 22:17:43 PST
  BooleLibrary.dale!5                          10-Nov-86 19:23:50 PST
  FiniteStateAutomata.mesa!3                   31-Oct-86 17:59:38 PST
 +FiniteStateAutomata.bcd!7                    04-Dec-86 22:17:47 PST
  FSAExtras.mesa!1                             19-Nov-86 10:47:03 PST
 +FSAExtras.bcd!4                              13-Dec-86 14:27:49 PST
  FSA.dale!2                                   19-Nov-86 18:32:14 PST

Directory [DATools]<DATools6.1>Boole>

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

  BoolePackage.config!6                        18-Nov-86 17:57:02 PST

  BooleImpl.mesa!3                             26-Aug-86 12:29:31 PDT
 +BooleImpl.bcd!7                              26-Aug-86 12:29:42 PDT
  BooleCoreImpl.mesa!9                         09-Nov-86 00:49:37 PST
 +BooleCoreImpl.bcd!47                         13-Dec-86 14:28:10 PST
  FiniteStateAutomataImpl.mesa!10              03-Nov-86 11:03:16 PST
 +FiniteStateAutomataImpl.bcd!18               04-Dec-86 22:18:35 PST
  FSAExtrasImpl.mesa!1                         19-Nov-86 18:30:03 PST
 +FSAExtrasImpl.bcd!4                          13-Dec-86 14:28:00 PST

  TestBoole.mesa!4                             24-Nov-86 17:01:05 PST
 +TestBoole.bcd!32                             13-Dec-86 14:28:12 PST
  FSAExample.mesa!6                            03-Nov-86 12:36:06 PST
 +FSAExample.bcd!19                            04-Dec-86 22:19:39 PST

  TestBoole.cm!4                               13-Oct-86 16:49:04 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!3                               07-Oct-86 17:20:54 PDT


Imports [DATools]<DATools6.1>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.1>Top>CDCMosB23.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>Extract.df Of ~=
  Using [Sinix.bcd, SinixOps.bcd, Sisyph.bcd, Extract.load]
Imports [DATools]<DATools6.1>Top>PW.df Of ~=
  Using [PW.bcd, PW.load]
Imports [DATools]<DATools6.1>Top>PWCore.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]
Imports [DATools]<DATools6.1>Top>TerminalIO2.df Of ~=
  Using [TerminalIO.bcd]