# HG changeset patch
# User kleing
# Date 1404547741 -7200
# Node ID 55b2afc5ddfcd7d34f0ad2dac79977ca01b41f78
# Parent  cc97b347b301508a3b420c085d1c9a01f8268e7d
added Tom's hyp_subst update

diff -r cc97b347b301 -r 55b2afc5ddfc 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.