Quot/quotient_typ.ML
2010-02-09 Christian Urban proper declaration of types and terms during parsing (removes the varifyT when storing data)
2010-02-09 Cezary Kaliszyk More indentation cleaning.
2010-01-27 Christian Urban use of equiv_relation_chk in quotient_term
2010-01-24 Christian Urban test with splits
2010-01-14 Christian Urban tuned quotient_typ.ML
2010-01-13 Christian Urban one more item in the list of Markus
less more (0) -10 -6 tip