CONTRIBUTORS
changeset 65042 956ea00a162a
parent 65041 2525e680f94f
child 65099 30d0b2f1df76
     1.1 --- a/CONTRIBUTORS	Wed Feb 22 20:24:50 2017 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Feb 22 20:33:53 2017 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  --------------------------------------
     1.5  
     1.6  * February 2017: Florian Haftmann, TUM
     1.7 -  Statically embedded computatations implementated by generated code.
     1.8 +  Statically embedded computations implemented by generated code.
     1.9  
    1.10  
    1.11  Contributions to Isabelle2016-1