Quotient-Paper/Paper.thy
Thu, 19 Aug 2010 15:52:36 +0900 Cezary Kaliszyk Add 2 FIXMEs
Thu, 19 Aug 2010 15:46:28 +0900 Cezary Kaliszyk The type does determine respectfulness, the constant without an instantiated type does not.
Thu, 19 Aug 2010 14:28:54 +0900 Cezary Kaliszyk TODO
Thu, 19 Aug 2010 13:58:47 +0900 Cezary Kaliszyk further comments from the referees
less more (0) -100 -30 -10 -4 tip