--- 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
-----------------------------
--- 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.