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.
*** empty log message ***
authornipkow
Thu, 15 Jun 2006 18:35:16 +0200
changeset 19896 286d950883bc
parent 19895 cab56c949350
child 19897 fe661eb3b0e7
*** empty log message ***
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Thu Jun 15 18:28:32 2006 +0200
+++ b/CONTRIBUTORS	Thu Jun 15 18:35:16 2006 +0200
@@ -1,7 +1,9 @@
-
 Contributions to Isabelle
 -------------------------
 
+* May 2006: Klaus Aehlig, LMU
+  Command 'normal_form': normalization by evaluation.
+
 * May 2006: Amine Chaieb, TUM
   HOL-Complex: Ferrante and Rackoff Algorithm for linear real
   arithmetic.
isabelle