equal
deleted
inserted
replaced
13 Nominal ... main files for new Nominal Isabelle |
13 Nominal ... main files for new Nominal Isabelle |
14 |
14 |
15 Nominal/Ex ... examples for new implementation |
15 Nominal/Ex ... examples for new implementation |
16 |
16 |
17 |
17 |
18 |
|
19 |
|
20 Outher Subdirectories: |
|
21 ====================== |
|
22 |
|
23 Attic ... old version of the quotient package (is now |
|
24 part of the Isabelle distribution) |
|
25 |
|
26 Literature ... some relevant papers about binders and |
|
27 Core-Haskell |
|
28 |
|
29 Paper ... accepted at ESOP |
|
30 |
|
31 Pearl ... accepted at ITP |
|
32 Pearl-jv ... accepted at LMCS |
|
33 |
|
34 Quotient-Paper .. accepted to SAC |
|
35 |
|
36 Slides ... various talks Christian gave recently |
|