1.1 --- a/CONTRIBUTORS Sat Jul 05 11:06:14 2014 +0200
1.2 +++ b/CONTRIBUTORS Sat Jul 05 11:19:37 2014 +0200
1.3 @@ -7,8 +7,8 @@
1.4 -----------------------------
1.5
1.6 * July 2014: Thomas Sewell, NICTA
1.7 - Preserve equality hypotheses in clarify and friends. New hypsubst_thin
1.8 - method and [[hypsubst_thin]] setting.
1.9 + Preserve equality hypotheses in "clarify" and friends. New
1.10 + "hypsubst_thin" method configuration option.
1.11
1.12 * June 2014: Florian Haftmann, TUM
1.13 Consolidation and generalization of facts concerning products