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 Subdirectories: |
4 Subdirectories: |
5 |
5 |
6 Attic ... old version of the quotient package (is now |
6 Attic ... old version of the quotient package (is now |
7 part of the Isabelle distribution) |
7 part of the Isabelle distribution) |
8 |
8 |
9 Literature ... some relevant papers bout binders and |
9 Literature ... some relevant papers about binders and |
10 Core-Haskell |
10 Core-Haskell |
11 |
11 |
12 Nominal ... main files for Nominal Isabelle |
12 Nominal-General . implementation of the abstract nominal theory |
13 |
13 |
14 Nominal/Ex ... examples for new implementation |
14 Nominal ... main files for new Nominal Isabelle |
15 |
15 |
16 Paper ... submitted |
16 Nominal/Ex ... examples for new implementation |
17 |
17 |
18 Pearl ... paper accepted at ITP |
18 Paper ... submitted to ICFP |
|
19 |
|
20 Pearl ... paper accepted at ITP |