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