Quot/quotient_typ.ML
Wed, 10 Feb 2010 17:22:18 +0100 Cezary Kaliszyk lowercase locale
Tue, 09 Feb 2010 19:08:08 +0100 Christian Urban proper declaration of types and terms during parsing (removes the varifyT when storing data)
less more (0) -10 -2 tip