Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added Tom's hyp_subst update
authorkleing
Sat, 05 Jul 2014 10:09:01 +0200
changeset 57513 55b2afc5ddfc
parent 57512 cc97b347b301
child 57514 bdc2c6b40bf2
added Tom's hyp_subst update
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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.
isabelle