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.
CONTRIBUTORS
authornoschinl
Mon, 28 Oct 2013 11:27:14 +0100
changeset 54363 b0336bb8e638
parent 54362 c5d6cd7ab132
child 54364 8f394986b353
CONTRIBUTORS
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Sun Nov 03 18:12:23 2013 +0100
+++ b/CONTRIBUTORS	Mon Oct 28 11:27:14 2013 +0100
@@ -6,6 +6,11 @@
 Contributions to Isabelle2013-1
 -------------------------------
 
+* September 2013: Lars Noschinski, TUM
+  Conversion between function definitions as list of equations and case
+  expressions in HOL
+  New library Simps_Case_Conv with commands case_of_simps, simps_of_case.
+
 * September 2013: Nik Sultana, University of Cambridge
   Improvements to HOL/TPTP parser and import facilities.
isabelle