CONTRIBUTORS
changeset 54021 8089e82833b6
parent 54010 5ac1495fed4e
child 54022 aae0163c01ea
     1.1 --- a/CONTRIBUTORS	Tue Oct 01 23:51:15 2013 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Oct 02 10:13:54 2013 +0300
     1.3 @@ -21,6 +21,12 @@
     1.4    Various improvements to BNF-based (co)datatype package, including
     1.5    "primrec_new" and "primcorec" commands and a compatibility layer.
     1.6  
     1.7 +* Spring and Summer 2013: Ondrej Kuncar, TUM
     1.8 +  Various improvments of Lifting and Transfer packages
     1.9 +
    1.10 +* Spring 2013: Brian Huffman, Galois Inc.
    1.11 +  Improvments of the Transfer package
    1.12 +  
    1.13  * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
    1.14    Jasmin Blanchette, TUM
    1.15    Various improvements to MaSh, including a server mode.