-- 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]