src/HOL/Quotient_Examples/Quotient_Message.thy
2012-04-02 Christian Urban 2012-04-02 tuned proofs
2012-03-23 kuncar 2012-03-23 fix Quotient_Examples
2011-11-17 bulwahn 2011-11-17 tuned header
2011-01-08 wenzelm 2011-01-08 tuned headers;
2010-11-30 haftmann 2010-11-30 adaptions to changes in Equiv_Relation.thy; prefer primrec if possible
2010-11-09 haftmann 2010-11-09 fun_rel_def is no simp rule by default
2010-06-29 Christian Urban 2010-06-29 cosmetics: avoided statement of raw theorems, used the method descending instead
2010-04-29 Cezary Kaliszyk 2010-04-29 Tuning the quotient examples