CONTRIBUTORS

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