equal
deleted
inserted
replaced
6 =============== |
6 =============== |
7 |
7 |
8 Nominal ... main files for new Nominal Isabelle |
8 Nominal ... main files for new Nominal Isabelle |
9 |
9 |
10 Nominal/Ex ... examples for new implementation |
10 Nominal/Ex ... examples for new implementation |
11 |
|
12 Nominal-General . implementation of the abstract nominal theory |
|
13 |
11 |
14 |
12 |
15 |
13 |
16 |
14 |
17 Outher Subdirectories: |
15 Outher Subdirectories: |
26 Paper ... submitted to ESOP |
24 Paper ... submitted to ESOP |
27 |
25 |
28 Pearl ... accepted at ITP |
26 Pearl ... accepted at ITP |
29 Pearl-jv ... journal version |
27 Pearl-jv ... journal version |
30 |
28 |
31 Quotient-Paper .. submitted to SAC |
29 Quotient-Paper .. accepted to SAC |
32 |
30 |
33 Slides ... various talks Christian gave recently |
31 Slides ... various talks Christian gave recently |