| changeset 2382 | e8b9c0ebf5dd |
| parent 1774 | c34347ec7ab3 |
| child 2452 | 39f8d405d7a2 |
| 2381:fd85f4921654 | 2382:e8b9c0ebf5dd |
|---|---|
13 |
13 |
14 Nominal ... main files for new Nominal Isabelle |
14 Nominal ... main files for new Nominal Isabelle |
15 |
15 |
16 Nominal/Ex ... examples for new implementation |
16 Nominal/Ex ... examples for new implementation |
17 |
17 |
18 Paper ... submitted to ICFP |
18 Paper ... submitted to POPL |
19 |
19 |
20 Pearl ... paper accepted at ITP |
20 Pearl ... accepted at ITP |
21 Pearl-jv ... journal version |
|
22 |
|
23 Quotient-Paper .. submitted to APLAS |