8 Nominal       ... main files for new Nominal Isabelle

     8 Nominal       ... main files

     9 

     9 Nominal/Ex    ... examples

    10 Nominal/Ex    ... examples for new implementation

    11 

    12 

    13 

    14 

    15 Outher Subdirectories:

    16 ======================

    17 

    18 Attic         ... old version of the quotient package (is now 

    19                   part of the Isabelle distribution)

    20 

    21 Literature    ... some relevant papers about binders and

    22                   Core-Haskell

    23 

    24 Paper         ... submitted to ESOP

    25 

    26 Pearl         ... accepted at ITP 

    27 Pearl-jv      ... journal version

    28 

    29 Quotient-Paper .. accepted to SAC

    30 

    31 Slides        ... various talks Christian gave recently