-- ThreeCasabaFour.df
-- Sturgis, June 10, 1986 10:26:26 am PDT

-- cd ///Users/Sturgis.pa/ThreeC4/

-- work on this df file in ///Users/Sturgis.pa/ThreeC4/

-- bringover [Indigo]<Casaba>Top>ThreeCasabaFour.df
-- bringover [Ivy]<Sturgis>Cedar>ThreeCasabaFour.df

-- Smodel ThreeCasabaFour

-- chat ivy -k "delete *.*!*,\Nk 1\Nc\N\N"

-- CacheKillExcessVersions
-- KillExcessVersions
-- PigsInSpace


--Exports [Indigo]<Casaba>Top>
Exports [Cedar]<CedarChest6.0>Top>

  ThreeCasabaFour.df                           10-Jun-86 10:26:33 PDT

Exports [Indigo]<Casaba>ThreeCasabaFour>
--Exports [Cedar]<CedarChest6.0>ThreeCasabaFour>

 +ThreeC4.load!2                               19-May-86 16:20:05 PDT
 +ThreeC4.bcd!1                                11-May-86 15:42:36 PDT
 +ThreeC4Central.kipperedParseTables!1         10-May-86 16:52:18 PDT


Directory [Indigo]<Casaba>ThreeCasabaFour>
--Directory [Cedar]<CedarChest6.0>ThreeCasabaFour>

-- source ThreeC4 files

  ThreeC4BaseDecl.ThreeC4!1                    09-May-86 11:32:15 PDT
  ThreeC4RecFcnDecl.ThreeC4!1                  09-May-86 11:32:23 PDT
  ThreeC4BasicAbTypes.ThreeC4!1                09-May-86 11:32:48 PDT

  ThreeC4RootAbGram.ThreeC4!1                  09-May-86 11:32:51 PDT
  ThreeC4RootImpl.ThreeC4!1                    10-May-86 15:40:33 PDT

  ThreeC4ModItemAbGram.ThreeC4!1               09-May-86 11:32:55 PDT
  ThreeC4ModItemImpl.ThreeC4!1                 09-May-86 17:17:42 PDT

  ThreeC4OtherModItemsAbGram.ThreeC4!1         09-May-86 11:33:03 PDT
  ThreeC4OtherModItemsImpl.ThreeC4!1           09-May-86 11:33:06 PDT

  ThreeC4RecFcnImplAbGram.ThreeC4!1            09-May-86 11:33:09 PDT
  ThreeC4RecFcnImplImpl.ThreeC4!1              09-May-86 11:33:14 PDT

  ThreeC4CProdAbGram.ThreeC4!1                 10-May-86 14:59:25 PDT
  ThreeC4CProdImpl.ThreeC4!1                   10-May-86 15:02:00 PDT

  ThreeC4MiscAbGram.ThreeC4!1                  09-May-86 11:33:26 PDT
  ThreeC4MiscImpl.ThreeC4!1                    10-May-86 15:21:40 PDT

  ThreeC4FlowGraphAbGram.ThreeC4!1             09-May-86 11:33:32 PDT
  ThreeC4FlowGraphImpl.ThreeC4!1               09-May-86 11:33:35 PDT

  ThreeC4CSyntax.ThreeC4!1                     09-May-86 11:33:38 PDT

-- derived mesa files

  ThreeC4BaseDecl1Def.mesa!1                   09-May-86 15:03:07 PDT
  ThreeC4BaseDecl2Def.mesa!1                   09-May-86 15:03:08 PDT
  ThreeC4BaseDecl1Impl.mesa!1                  09-May-86 15:03:07 PDT
  ThreeC4RecFcnDeclDef.mesa!1                  09-May-86 15:07:42 PDT
  ThreeC4BasicAbTypesDef.mesa!1                09-May-86 15:08:12 PDT
  ThreeC4RootAbGramDef.mesa!1                  09-May-86 15:09:08 PDT
  ThreeC4RootAbGramImpl.mesa!1                 09-May-86 15:09:08 PDT
  ThreeC4RootImplImpl.mesa!1                   10-May-86 15:44:26 PDT
  ThreeC4ModItemAbGramDef.mesa!1               10-May-86 16:44:17 PDT
  ThreeC4ModItemAbGramImpl.mesa!1              10-May-86 16:44:16 PDT
  ThreeC4ModItemImplImpl.mesa!1                10-May-86 16:45:14 PDT
  ThreeC4OtherModItemsAbGramDef.mesa!1         09-May-86 15:17:06 PDT
  ThreeC4OtherModItemsAbGramImpl.mesa!1        09-May-86 15:17:06 PDT
  ThreeC4OtherModItemsImplImpl.mesa!1          09-May-86 15:17:52 PDT
  ThreeC4RecFcnImplAbGramDef.mesa!1            09-May-86 15:19:12 PDT
  ThreeC4RecFcnImplAbGramImpl.mesa!1           09-May-86 15:19:11 PDT
  ThreeC4RecFcnImplImpl1Impl.mesa!1            09-May-86 15:21:12 PDT
  ThreeC4RecFcnImplImpl2Impl.mesa!1            09-May-86 15:21:14 PDT
  ThreeC4RecFcnImplImpl3Impl.mesa!1            09-May-86 15:21:16 PDT
  ThreeC4CProdAbGramDef.mesa!1                 10-May-86 15:13:42 PDT
  ThreeC4CProdAbGramImpl.mesa!1                10-May-86 15:13:41 PDT
  ThreeC4CProdImplImpl.mesa!1                  10-May-86 15:15:14 PDT
  ThreeC4MiscAbGramDef.mesa!1                  09-May-86 15:27:04 PDT
  ThreeC4MiscAbGramImpl.mesa!1                 09-May-86 15:27:03 PDT
  ThreeC4MiscImplImpl.mesa!1                   10-May-86 15:26:33 PDT
  ThreeC4FlowGraphAbGramDef.mesa!1             09-May-86 15:29:49 PDT
  ThreeC4FlowGraphAbGramImpl.mesa!1            09-May-86 15:29:48 PDT
  ThreeC4FlowGraphImplImpl.mesa!1              09-May-86 15:30:19 PDT
  ThreeC4CentralDef.mesa!1                     10-May-86 16:50:37 PDT
  ThreeC4CSyntax1Def.mesa!1                    10-May-86 16:50:34 PDT
  ThreeC4CSyntax2Def.mesa!1                    10-May-86 16:50:36 PDT
  ThreeC4CentralImpl.mesa!1                    10-May-86 16:50:38 PDT
  ThreeC4CSyntax1Impl.mesa!1                   10-May-86 16:50:31 PDT
  ThreeC4CSyntax2Impl.mesa!1                   10-May-86 16:50:34 PDT

-- other files derived from the ThreeC4 files

  ThreeC4Central.OneCasaba!1                   10-May-86 16:50:36 PDT



-- source mesa files

  ThreeC4Support.mesa!1                        09-May-86 10:22:46 PDT

  ThreeC4PrimImplDefs.mesa!1                   07-May-86 17:34:03 PDT
  ThreeC4FlowAnalDefs.mesa!1                   07-May-86 17:34:24 PDT
  ThreeC4Primimpl1.mesa!1                      07-May-86 18:20:43 PDT
  ThreeC4PrimImpl2.mesa!1                      10-May-86 15:11:54 PDT
  ThreeC4PrimImpl3.mesa!1                      09-May-86 15:49:20 PDT
  ThreeC4PrimImpl4.mesa!1                      07-May-86 17:36:36 PDT
  ThreeC4PrimImpl5.mesa!1                      09-May-86 15:50:39 PDT
  ThreeC4FlowAnalImpl.mesa!1                   11-May-86 15:41:49 PDT


  ThreeC4Driver.mesa!1                         10-May-86 15:54:25 PDT

  ThreeC4SupportImpl.mesa!1                    09-May-86 16:07:39 PDT


-- other source files

  ThreeC4.config!1                             09-May-86 16:09:01 PDT
  TestThreeC4.load!1                           10-May-86 15:38:16 PDT


-- command files

  BuildThreeC4.cm!3                            20-May-86 12:21:48 PDT
  ProveThreeC4IsFixedPoint.cm!1                11-May-86 16:53:19 PDT


-- derived bcds

  ThreeC4BaseDecl1Def.bcd!1                    09-May-86 15:07:08 PDT
  ThreeC4BaseDecl2Def.bcd!1                    09-May-86 15:07:12 PDT
  ThreeC4BaseDecl1Impl.bcd!1                   09-May-86 15:07:17 PDT
  ThreeC4RecFcnDeclDef.bcd!1                   09-May-86 15:07:47 PDT
  ThreeC4BasicAbTypesDef.bcd!1                 09-May-86 15:08:26 PDT
  ThreeC4RootAbGramDef.bcd!1                   09-May-86 15:09:21 PDT
  ThreeC4RootAbGramImpl.bcd!1                  09-May-86 15:09:42 PDT
  ThreeC4RootImplImpl.bcd!1                    10-May-86 15:45:05 PDT
  ThreeC4ModItemAbGramDef.bcd!1                10-May-86 16:44:27 PDT
  ThreeC4ModItemAbGramImpl.bcd!1               10-May-86 16:44:32 PDT
  ThreeC4ModItemImplImpl.bcd!1                 10-May-86 16:45:28 PDT
  ThreeC4OtherModItemsAbGramDef.bcd!1          09-May-86 15:17:11 PDT
  ThreeC4OtherModItemsAbGramImpl.bcd!1         09-May-86 15:17:16 PDT
  ThreeC4OtherModItemsImplImpl.bcd!1           09-May-86 15:18:20 PDT
  ThreeC4RecFcnImplAbGramDef.bcd!1             09-May-86 15:19:24 PDT
  ThreeC4RecFcnImplAbGramImpl.bcd!1            09-May-86 15:19:46 PDT
  ThreeC4RecFcnImplImpl1Impl.bcd!1             09-May-86 15:22:01 PDT
  ThreeC4RecFcnImplImpl2Impl.bcd!1             09-May-86 15:22:33 PDT
  ThreeC4RecFcnImplImpl3Impl.bcd!1             09-May-86 15:22:55 PDT
  ThreeC4CProdAbGramDef.bcd!1                  10-May-86 15:13:54 PDT
  ThreeC4CProdAbGramImpl.bcd!1                 10-May-86 15:14:23 PDT
  ThreeC4CProdImplImpl.bcd!1                   10-May-86 15:16:03 PDT
  ThreeC4MiscAbGramDef.bcd!1                   09-May-86 15:27:14 PDT
  ThreeC4MiscAbGramImpl.bcd!1                  09-May-86 15:27:31 PDT
  ThreeC4MiscImplImpl.bcd!1                    10-May-86 15:26:44 PDT
  ThreeC4FlowGraphAbGramDef.bcd!1              09-May-86 15:29:52 PDT
  ThreeC4FlowGraphAbGramImpl.bcd!1             09-May-86 15:29:57 PDT
  ThreeC4FlowGraphImplImpl.bcd!1               09-May-86 15:30:23 PDT
  ThreeC4CentralDef.bcd!1                      10-May-86 16:50:45 PDT
  ThreeC4CSyntax1Def.bcd!1                     10-May-86 16:50:47 PDT
  ThreeC4CSyntax2Def.bcd!1                     10-May-86 16:50:50 PDT
  ThreeC4CentralImpl.bcd!1                     10-May-86 16:50:55 PDT
  ThreeC4CSyntax1Impl.bcd!1                    10-May-86 16:51:10 PDT
  ThreeC4CSyntax2Impl.bcd!1                    10-May-86 16:51:56 PDT

  ThreeC4Support.bcd!1                         09-May-86 15:06:46 PDT

  ThreeC4PrimImplDefs.bcd!1                    10-May-86 16:52:38 PDT
  ThreeC4FlowAnalDefs.bcd!1                    10-May-86 16:52:41 PDT
  ThreeC4Primimpl1.bcd!1                       10-May-86 16:52:48 PDT
  ThreeC4PrimImpl2.bcd!1                       10-May-86 16:53:00 PDT
  ThreeC4PrimImpl3.bcd!1                       10-May-86 16:53:20 PDT
  ThreeC4PrimImpl4.bcd!1                       10-May-86 16:53:39 PDT
  ThreeC4PrimImpl5.bcd!1                       10-May-86 16:53:46 PDT
  ThreeC4FlowAnalImpl.bcd!1                    11-May-86 15:42:08 PDT


  ThreeC4Driver.bcd!1                          10-May-86 16:54:26 PDT

  ThreeC4SupportImpl.bcd!1                     10-May-86 16:54:20 PDT


-- The following are concerned with general set manipulation (UNION/FIND) routines

  UnionFind.mesa!1                             08-Aug-85 09:58:41 PDT
  UnionFindImpl.mesa!1                         08-Aug-85 09:57:58 PDT
  TestUnionFindImpl.mesa!2                     19-May-86 15:09:09 PDT
  TestUnionFind.config!1                       26-Jun-85 10:24:04 PDT


  UnionFind.bcd!1                              08-Aug-85 12:19:38 PDT
  UnionFindImpl.bcd!1                          08-Aug-85 12:21:06 PDT
  TestUnionFindImpl.bcd!2                      19-May-86 15:09:15 PDT
 +TestUnionFind.bcd!2                          19-May-86 15:09:43 PDT









Imports [Cedar]<CedarChest6.0>Top>OneCasaba.df Of ~=
  Using [GenOneCasabaParser.load, GenOneCasabaParser.bcd, OneCasabaParser.bcd,
    OneCasabaParserDataImpl.bcd, OneCasabaParserImpl.bcd, LoadOneCasabaParser.cm]


Imports [Cedar]<Cedar6.0>Top>BasicPackages.df Of ~=
  Using [Commander.bcd]

Imports [Cedar]<Cedar6.0>Top>FS.df Of ~=
  Using [FS.bcd]

Exports Imports [Cedar]<CedarChest6.0>Top>HashTable.df Of ~=

Imports [Cedar]<Cedar6.0>Top>IO.df Of ~=
  Using [Convert.bcd, IO.bcd]

Exports Imports [Cedar]<CedarChest6.0>Top>Kipper.df Of ~=

Imports [Cedar]<Cedar6.0>Top>MesaRuntime.df Of ~=
  Using [Basics.bcd]

Imports [Cedar]<Cedar6.0>Top>Rope.df Of ~=
  Using [Rope.bcd]