:: ALI2 semantic presentation :: Showing IDV graph ... (Click the Palm Trees again to close it)
:: deftheorem Def1 defines contraction ALI2:def 1 :
theorem :: ALI2:1 :: Showing IDV graph ... (Click the Palm Tree again to close it)
canceled;
theorem :: ALI2:2 :: Showing IDV graph ... (Click the Palm Tree again to close it)