CONTRIBUTORS
changeset 60920 97c20589a0db
parent 60804 080a979a985b
child 61552 980dd46a03fb
     1.1 --- a/CONTRIBUTORS	Wed Aug 12 20:46:33 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Aug 12 20:46:33 2015 +0200
     1.3 @@ -21,6 +21,10 @@
     1.4  * Summer 2015: Florian Haftmann, TUM
     1.5    Fundamentals of abstract type class for factorial rings.
     1.6  
     1.7 +* Summer 2015: Julian Biendarra, TUM and Dmitriy Traytel, ETH Zurich
     1.8 +  Command to lift a BNF structure on the raw type to the abstract type
     1.9 +  for typedefs.
    1.10 +
    1.11  
    1.12  Contributions to Isabelle2015
    1.13  -----------------------------