# HG changeset patch
# User Andreas Lochbihler
# Date 1348154473 -7200
# Node ID 818bf31759e76e2073a9c320dfb4e44efcfff5e6
# Parent  4632b867fba75a23bf767234d88336184ff32ecb
NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998

diff -r 4632b867fba7 -r 818bf31759e7 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Sep 20 17:17:20 2012 +0200
+++ b/CONTRIBUTORS	Thu Sep 20 17:21:13 2012 +0200
@@ -26,6 +26,8 @@
 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
   Simproc for rewriting set comprehensions into pointfree expressions.
 
+* May 2012: Andreas Lochbihler, KIT
+  Theory of almost everywhere constant functions.
 
 Contributions to Isabelle2012
 -----------------------------
diff -r 4632b867fba7 -r 818bf31759e7 NEWS
--- a/NEWS	Thu Sep 20 17:17:20 2012 +0200
+++ b/NEWS	Thu Sep 20 17:21:13 2012 +0200
@@ -109,6 +109,13 @@
 * Library/Debug.thy and Library/Parallel.thy: debugging and parallel
 execution for code generated towards Isabelle/ML.
 
+* Library/FinFun.thy: theory of almost everywhere constant functions
+(supersedes the AFP entry "Code Generation for Functions as Data").
+
+* Library/Phantom.thy: generic phantom type to make a type parameter
+appear in a constant's type. This alternative to adding TYPE('a) as
+another parameter avoids unnecessary closures in generated code.
+
 * Simproc "finite_Collect" rewrites set comprehensions into pointfree
 expressions.