CONTRIBUTORS
changeset 57513 55b2afc5ddfc
parent 57474 250decee4ac5
child 57516 943f4623b9d1
     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.