CONTRIBUTORS
changeset 65041 2525e680f94f
parent 64555 628b271c5b8b
child 65042 956ea00a162a
     1.1 --- a/CONTRIBUTORS	Wed Feb 22 16:21:26 2017 +0000
     1.2 +++ b/CONTRIBUTORS	Wed Feb 22 20:24:50 2017 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* February 2017: Florian Haftmann, TUM
     1.8 +  Statically embedded computatations implementated by generated code.
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2016-1
    1.12  -------------------------------