1.1 --- a/CONTRIBUTORS Fri Jul 04 20:18:47 2014 +0200
1.2 +++ b/CONTRIBUTORS Sat Jul 05 10:09:01 2014 +0200
1.3 @@ -6,6 +6,10 @@
1.4 Contributions to Isabelle2014
1.5 -----------------------------
1.6
1.7 +* July 2014: Thomas Sewell, NICTA
1.8 + Preserve equality hypotheses in clarify and friends. New hypsubst_thin
1.9 + method and [[hypsubst_thin]] setting.
1.10 +
1.11 * June 2014: Florian Haftmann, TUM
1.12 Consolidation and generalization of facts concerning products
1.13 (resp. sums) on finite sets.