NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
authorAndreas Lochbihler
Thu Sep 20 17:21:13 2012 +0200 (2012-09-20)
changeset 49481818bf31759e7
parent 49480 4632b867fba7
child 49485 7bb0d515ccbc
NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Thu Sep 20 17:17:20 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Sep 20 17:21:13 2012 +0200
     1.3 @@ -26,6 +26,8 @@
     1.4  * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
     1.5    Simproc for rewriting set comprehensions into pointfree expressions.
     1.6  
     1.7 +* May 2012: Andreas Lochbihler, KIT
     1.8 +  Theory of almost everywhere constant functions.
     1.9  
    1.10  Contributions to Isabelle2012
    1.11  -----------------------------
     2.1 --- a/NEWS	Thu Sep 20 17:17:20 2012 +0200
     2.2 +++ b/NEWS	Thu Sep 20 17:21:13 2012 +0200
     2.3 @@ -109,6 +109,13 @@
     2.4  * Library/Debug.thy and Library/Parallel.thy: debugging and parallel
     2.5  execution for code generated towards Isabelle/ML.
     2.6  
     2.7 +* Library/FinFun.thy: theory of almost everywhere constant functions
     2.8 +(supersedes the AFP entry "Code Generation for Functions as Data").
     2.9 +
    2.10 +* Library/Phantom.thy: generic phantom type to make a type parameter
    2.11 +appear in a constant's type. This alternative to adding TYPE('a) as
    2.12 +another parameter avoids unnecessary closures in generated code.
    2.13 +
    2.14  * Simproc "finite_Collect" rewrites set comprehensions into pointfree
    2.15  expressions.
    2.16