-- ThreeCasabaFour.df
-- Sturgis, May 21, 1986 12:00:49 pm PDT
-- Shoup, July 25, 1986 9:51:39 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 [Cedar]<CedarChest6.1>Top>
--Was [Indigo]<Casaba>Top>

  ThreeCasabaFour.df                           15-Aug-86 11:20:54 PDT

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

 +ThreeC4.load!2                               24-Jul-86 16:12:23 PDT
 +ThreeC4.bcd!2                                29-Jul-86 11:03:30 PDT
 +ThreeC4Central.kipperedParseTables!2         29-Jul-86 10:14:17 PDT
 +ThreeC4SupportImpl.bcd!2                     29-Jul-86 10:17:59 PDT
 +ThreeC4Support.bcd!1                         09-May-86 15:06:46 PDT


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

-- source ThreeC4 files

  ThreeC4BaseDecl.ThreeC4!2                    01-Jul-86 00:30:39 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!2                    23-Jun-86 16:23:45 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!2           28-Jun-86 12:48:42 PDT

  ThreeC4RecFcnImplAbGram.ThreeC4!1            09-May-86 11:33:09 PDT
  ThreeC4RecFcnImplImpl.ThreeC4!2              01-Jul-86 10:23:54 PDT

  ThreeC4CProdAbGram.ThreeC4!1                 10-May-86 14:59:25 PDT
  ThreeC4CProdImpl.ThreeC4!2                   01-Jul-86 00:14:46 PDT

  ThreeC4MiscAbGram.ThreeC4!1                  09-May-86 11:33:26 PDT
  ThreeC4MiscImpl.ThreeC4!2                    01-Jul-86 00:31:06 PDT

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

  ThreeC4CSyntax.ThreeC4!2                     29-Jul-86 10:13:15 PDT

-- derived mesa files

  ThreeC4BaseDecl1Def.mesa!2                   16-Jul-86 17:08:02 PDT
  ThreeC4BaseDecl2Def.mesa!2                   16-Jul-86 17:08:02 PDT
  ThreeC4BaseDecl1Impl.mesa!2                  16-Jul-86 17:08:02 PDT
  ThreeC4RecFcnDeclDef.mesa!2                  16-Jul-86 17:08:31 PDT
  ThreeC4BasicAbTypesDef.mesa!2                16-Jul-86 17:08:56 PDT
  ThreeC4RootAbGramDef.mesa!2                  16-Jul-86 17:11:12 PDT
  ThreeC4RootAbGramImpl.mesa!2                 16-Jul-86 17:11:11 PDT
  ThreeC4RootImplImpl.mesa!2                   16-Jul-86 17:12:16 PDT
  ThreeC4ModItemAbGramDef.mesa!2               16-Jul-86 17:13:14 PDT
  ThreeC4ModItemAbGramImpl.mesa!2              16-Jul-86 17:13:14 PDT
  ThreeC4ModItemImplImpl.mesa!2                16-Jul-86 17:14:02 PDT
  ThreeC4OtherModItemsAbGramDef.mesa!2         16-Jul-86 17:14:56 PDT
  ThreeC4OtherModItemsAbGramImpl.mesa!2        16-Jul-86 17:14:56 PDT
  ThreeC4OtherModItemsImplImpl.mesa!2          16-Jul-86 17:15:44 PDT
  ThreeC4RecFcnImplAbGramDef.mesa!2            16-Jul-86 17:16:41 PDT
  ThreeC4RecFcnImplAbGramImpl.mesa!2           16-Jul-86 17:16:41 PDT
  ThreeC4RecFcnImplImpl1Impl.mesa!2            16-Jul-86 17:18:20 PDT
  ThreeC4RecFcnImplImpl2Impl.mesa!2            16-Jul-86 17:18:21 PDT
  ThreeC4RecFcnImplImpl3Impl.mesa!2            16-Jul-86 17:18:22 PDT
  ThreeC4CProdAbGramDef.mesa!2                 16-Jul-86 17:21:35 PDT
  ThreeC4CProdAbGramImpl.mesa!2                16-Jul-86 17:21:34 PDT
  ThreeC4CProdImplImpl.mesa!2                  16-Jul-86 17:22:42 PDT
  ThreeC4MiscAbGramDef.mesa!2                  16-Jul-86 17:23:49 PDT
  ThreeC4MiscAbGramImpl.mesa!2                 16-Jul-86 17:23:48 PDT
  ThreeC4MiscImplImpl.mesa!2                   16-Jul-86 17:24:52 PDT
  ThreeC4FlowGraphAbGramDef.mesa!2             16-Jul-86 17:25:51 PDT
  ThreeC4FlowGraphAbGramImpl.mesa!2            16-Jul-86 17:25:51 PDT
  ThreeC4FlowGraphImplImpl.mesa!2              16-Jul-86 17:26:18 PDT
  ThreeC4CentralDef.mesa!2                     29-Jul-86 10:14:10 PDT
  ThreeC4CSyntax1Def.mesa!2                    29-Jul-86 10:14:05 PDT
  ThreeC4CSyntax2Def.mesa!2                    29-Jul-86 10:14:09 PDT
  ThreeC4CentralImpl.mesa!2                    29-Jul-86 10:14:10 PDT
  ThreeC4CSyntax1Impl.mesa!2                   29-Jul-86 10:14:05 PDT
  ThreeC4CSyntax2Impl.mesa!2                   29-Jul-86 10:14:08 PDT

-- other files derived from the ThreeC4 files

  ThreeC4Central.OneCasaba!2                   29-Jul-86 10:14:09 PDT



-- source mesa files

  ThreeC4Support.mesa!1                        09-May-86 10:22:46 PDT
  ThreeC4SupportImpl.mesa!1                    09-May-86 16:07:39 PDT

  ThreeC4PrimImplDefs.mesa!2                   24-Jun-86 10:37:26 PDT
  ThreeC4FlowAnalDefs.mesa!1                   07-May-86 17:34:24 PDT
  ThreeC4Primimpl1.mesa!2                      01-Jul-86 01:27:13 PDT
  ThreeC4PrimImpl2.mesa!2                      29-Jul-86 11:02:27 PDT
  ThreeC4PrimImpl3.mesa!2                      01-Jul-86 00:29:02 PDT
  ThreeC4PrimImpl4.mesa!2                      20-Jun-86 18:17:01 PDT
  ThreeC4PrimImpl5.mesa!2                      24-Jun-86 10:11:00 PDT
  ThreeC4FlowAnalImpl.mesa!2                   10-Jul-86 11:50:00 PDT


  ThreeC4Driver.mesa!2                         24-Jun-86 10:35:03 PDT



-- other source files

  ThreeC4.config!2                             24-Jul-86 16:14:38 PDT
  TestThreeC4.load!1                           10-May-86 15:38:16 PDT


-- command files

  BuildThreeC4.cm!2                            28-Jun-86 13:42:21 PDT
  ProveThreeC4IsFixedPoint.cm!1                11-May-86 16:53:19 PDT


-- derived bcds

  ThreeC4BaseDecl1Def.bcd!2                    16-Jul-86 17:08:07 PDT
  ThreeC4BaseDecl2Def.bcd!2                    16-Jul-86 17:08:10 PDT
  ThreeC4BaseDecl1Impl.bcd!2                   16-Jul-86 17:08:13 PDT
  ThreeC4RecFcnDeclDef.bcd!2                   16-Jul-86 17:08:36 PDT
  ThreeC4BasicAbTypesDef.bcd!2                 16-Jul-86 17:09:07 PDT
  ThreeC4RootAbGramDef.bcd!2                   16-Jul-86 17:11:18 PDT
  ThreeC4RootAbGramImpl.bcd!2                  16-Jul-86 17:11:32 PDT
  ThreeC4RootImplImpl.bcd!2                    16-Jul-86 17:12:34 PDT
  ThreeC4ModItemAbGramDef.bcd!2                16-Jul-86 17:13:18 PDT
  ThreeC4ModItemAbGramImpl.bcd!2               16-Jul-86 17:13:24 PDT
  ThreeC4ModItemImplImpl.bcd!2                 16-Jul-86 17:14:20 PDT
  ThreeC4OtherModItemsAbGramDef.bcd!2          16-Jul-86 17:15:00 PDT
  ThreeC4OtherModItemsAbGramImpl.bcd!2         16-Jul-86 17:15:04 PDT
  ThreeC4OtherModItemsImplImpl.bcd!2           16-Jul-86 17:16:05 PDT
  ThreeC4RecFcnImplAbGramDef.bcd!2             16-Jul-86 17:16:49 PDT
  ThreeC4RecFcnImplAbGramImpl.bcd!2            16-Jul-86 17:17:04 PDT
  ThreeC4RecFcnImplImpl1Impl.bcd!2             16-Jul-86 17:18:53 PDT
  ThreeC4RecFcnImplImpl2Impl.bcd!2             16-Jul-86 17:19:19 PDT
  ThreeC4RecFcnImplImpl3Impl.bcd!2             16-Jul-86 17:19:36 PDT
  ThreeC4CProdAbGramDef.bcd!2                  16-Jul-86 17:21:40 PDT
  ThreeC4CProdAbGramImpl.bcd!2                 16-Jul-86 17:21:54 PDT
  ThreeC4CProdImplImpl.bcd!2                   16-Jul-86 17:23:10 PDT
  ThreeC4MiscAbGramDef.bcd!2                   16-Jul-86 17:23:56 PDT
  ThreeC4MiscAbGramImpl.bcd!2                  16-Jul-86 17:24:08 PDT
  ThreeC4MiscImplImpl.bcd!2                    16-Jul-86 17:25:18 PDT
  ThreeC4FlowGraphAbGramDef.bcd!2              16-Jul-86 17:25:54 PDT
  ThreeC4FlowGraphAbGramImpl.bcd!2             16-Jul-86 17:25:57 PDT
  ThreeC4FlowGraphImplImpl.bcd!2               16-Jul-86 17:26:22 PDT
  ThreeC4CentralDef.bcd!2                      29-Jul-86 10:14:54 PDT
  ThreeC4CSyntax1Def.bcd!2                     29-Jul-86 10:14:56 PDT
  ThreeC4CSyntax2Def.bcd!2                     29-Jul-86 10:14:58 PDT
  ThreeC4CentralImpl.bcd!2                     29-Jul-86 10:15:03 PDT
  ThreeC4CSyntax1Impl.bcd!2                    29-Jul-86 10:15:25 PDT
  ThreeC4CSyntax2Impl.bcd!2                    29-Jul-86 10:15:56 PDT

  ThreeC4PrimImplDefs.bcd!2                    29-Jul-86 10:16:19 PDT
  ThreeC4FlowAnalDefs.bcd!2                    29-Jul-86 10:16:21 PDT
  ThreeC4Primimpl1.bcd!2                       29-Jul-86 10:16:30 PDT
  ThreeC4PrimImpl2.bcd!2                       29-Jul-86 11:03:13 PDT
  ThreeC4PrimImpl3.bcd!2                       29-Jul-86 10:17:01 PDT
  ThreeC4PrimImpl4.bcd!2                       29-Jul-86 10:17:22 PDT
  ThreeC4PrimImpl5.bcd!2                       29-Jul-86 10:17:27 PDT
  ThreeC4FlowAnalImpl.bcd!2                    29-Jul-86 10:17:37 PDT


  ThreeC4Driver.bcd!2                          29-Jul-86 10:18:17 PDT



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

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


  UnionFind.bcd!2                              29-Jul-86 10:16:23 PDT
  UnionFindImpl.bcd!2                          29-Jul-86 10:18:02 PDT
  TestUnionFindImpl.bcd!2                      29-Jul-86 10:18:07 PDT
 +TestUnionFind.bcd!2                          29-Jul-86 10:18:42 PDT








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


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

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

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

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

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

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

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

Imports [Cedar]<Cedar6.1>Top>SafeStorage.df Of ~=
  Using [List.bcd]

Imports [Cedar]<Cedar6.1>Top>ProcessProps.df Of ~=
  Using [ProcessProps.bcd]