equal
deleted
inserted
replaced
1 This repository contain a new implementation of |
1 This repository contain a new implementation of |
2 Nominal Isabelle. |
2 Nominal Isabelle. |
3 |
3 |
|
4 |
4 Subdirectories: |
5 Subdirectories: |
|
6 =============== |
|
7 |
|
8 Nominal ... main files for new Nominal Isabelle |
|
9 |
|
10 Nominal/Ex ... examples for new implementation |
|
11 |
|
12 Nominal-General . implementation of the abstract nominal theory |
|
13 |
|
14 |
|
15 |
|
16 |
|
17 Outher Subdirectories: |
|
18 ====================== |
5 |
19 |
6 Attic ... old version of the quotient package (is now |
20 Attic ... old version of the quotient package (is now |
7 part of the Isabelle distribution) |
21 part of the Isabelle distribution) |
8 |
22 |
9 Literature ... some relevant papers about binders and |
23 Literature ... some relevant papers about binders and |
10 Core-Haskell |
24 Core-Haskell |
11 |
25 |
12 Nominal-General . implementation of the abstract nominal theory |
|
13 |
|
14 Nominal ... main files for new Nominal Isabelle |
|
15 |
|
16 Nominal/Ex ... examples for new implementation |
|
17 |
|
18 Paper ... submitted to POPL |
26 Paper ... submitted to POPL |
19 |
27 |
20 Pearl ... accepted at ITP |
28 Pearl ... accepted at ITP |
21 Pearl-jv ... journal version |
29 Pearl-jv ... journal version |
22 |
30 |
23 Quotient-Paper .. submitted to APLAS |
31 Quotient-Paper .. submitted to SAC |