-- ProveThreeC4IsFixedPoint.cm -- Sturgis, May 11, 1986 4:53:19 pm PDT Date TestThreeC4 ThreeC4BaseDecl waterlily ThreeC4BaseDecl1Def.mesa XThreeC4BaseDecl1Def.mesa waterlily ThreeC4BaseDecl2Def.mesa XThreeC4BaseDecl2Def.mesa waterlily ThreeC4BaseDecl1Impl.mesa XThreeC4BaseDecl1Impl.mesa TestThreeC4 ThreeC4RecFcnDecl waterlily ThreeC4RecFcnDeclDef.mesa XThreeC4RecFcnDeclDef.mesa TestThreeC4 ThreeC4BasicAbTypes waterlily ThreeC4BasicAbTypesDef.mesa XThreeC4BasicAbTypesDef.mesa TestThreeC4 ThreeC4RootAbGram waterlily ThreeC4RootAbGramDef.mesa XThreeC4RootAbGramDef.mesa waterlily ThreeC4RootAbGramImpl.mesa XThreeC4RootAbGramImpl.mesa TestThreeC4 ThreeC4RootImpl waterlily ThreeC4RootImplImpl.mesa XThreeC4RootImplImpl.mesa TestThreeC4 ThreeC4ModItemAbGram waterlily ThreeC4ModItemAbGramDef.mesa XThreeC4ModItemAbGramDef.mesa waterlily ThreeC4ModItemAbGramImpl.mesa XThreeC4ModItemAbGramImpl.mesa TestThreeC4 ThreeC4ModItemImpl waterlily ThreeC4ModItemImplImpl.mesa XThreeC4ModItemImplImpl.mesa TestThreeC4 ThreeC4OtherModItemsAbGram waterlily ThreeC4OtherModItemsAbGramDef.mesa XThreeC4OtherModItemsAbGramDef.mesa waterlily ThreeC4OtherModItemsAbGramImpl.mesa XThreeC4OtherModItemsAbGramImpl.mesa TestThreeC4 ThreeC4OtherModItemsImpl waterlily ThreeC4OtherModItemsImplImpl.mesa XThreeC4OtherModItemsImplImpl.mesa TestThreeC4 ThreeC4RecFcnImplAbGram waterlily ThreeC4RecFcnImplAbGramDef.mesa XThreeC4RecFcnImplAbGramDef.mesa waterlily ThreeC4RecFcnImplAbGramImpl.mesa XThreeC4RecFcnImplAbGramImpl.mesa TestThreeC4 ThreeC4RecFcnImplImpl waterlily ThreeC4RecFcnImplImpl1Impl.mesa XThreeC4RecFcnImplImpl1Impl.mesa waterlily ThreeC4RecFcnImplImpl2Impl.mesa XThreeC4RecFcnImplImpl2Impl.mesa waterlily ThreeC4RecFcnImplImpl3Impl.mesa XThreeC4RecFcnImplImpl3Impl.mesa TestThreeC4 ThreeC4CProdAbGram waterlily ThreeC4CProdAbGramDef.mesa XThreeC4CProdAbGramDef.mesa waterlily ThreeC4CProdAbGramImpl.mesa XThreeC4CProdAbGramImpl.mesa TestThreeC4 ThreeC4CProdImpl waterlily ThreeC4CProdImplImpl.mesa XThreeC4CProdImplImpl.mesa TestThreeC4 ThreeC4MiscAbGram waterlily ThreeC4MiscAbGramDef.mesa XThreeC4MiscAbGramDef.mesa waterlily ThreeC4MiscAbGramImpl.mesa XThreeC4MiscAbGramImpl.mesa TestThreeC4 ThreeC4MiscImpl waterlily ThreeC4MiscImplImpl.mesa XThreeC4MiscImplImpl.mesa TestThreeC4 ThreeC4FlowGraphAbGram waterlily ThreeC4FlowGraphAbGramDef.mesa XThreeC4FlowGraphAbGramDef.mesa waterlily ThreeC4FlowGraphAbGramImpl.mesa XThreeC4FlowGraphAbGramImpl.mesa TestThreeC4 ThreeC4FlowGraphImpl waterlily ThreeC4FlowGraphImplImpl.mesa XThreeC4FlowGraphImplImpl.mesa TestThreeC4 ThreeC4CSyntax waterlily ThreeC4CentralDef.mesa XThreeC4CentralDef.mesa waterlily ThreeC4CSyntax1Def.mesa XThreeC4CSyntax1Def.mesa waterlily ThreeC4CSyntax2Def.mesa XThreeC4CSyntax2Def.mesa waterlily ThreeC4CentralImpl.mesa XThreeC4CentralImpl.mesa waterlily ThreeC4CSyntax1Impl.mesa XThreeC4CSyntax1Impl.mesa waterlily ThreeC4CSyntax2Impl.mesa XThreeC4CSyntax2Impl.mesa waterlily ThreeC4Central.OneCasaba XThreeC4Central.OneCasaba Date