equal
deleted
inserted
replaced
15 Nominal/Ex ... examples for new implementation |
15 Nominal/Ex ... examples for new implementation |
16 |
16 |
17 |
17 |
18 |
18 |
19 |
19 |
20 Outher Subdirectories: |
20 Other Subdirectories: |
21 ====================== |
21 ===================== |
22 |
22 |
23 Attic ... old version of the quotient package (is now |
23 Attic ... old version of the quotient package (is now |
24 part of the Isabelle distribution) |
24 part of the Isabelle distribution) |
25 |
25 |
26 Literature ... some relevant papers about binders and |
26 Literature ... some relevant papers about binders and |
32 Pearl-jv ... accepted at LMCS |
32 Pearl-jv ... accepted at LMCS |
33 |
33 |
34 Quotient-Paper .. accepted to SAC |
34 Quotient-Paper .. accepted to SAC |
35 |
35 |
36 Slides ... various talks Christian gave recently |
36 Slides ... various talks Christian gave recently |
|
37 |
|
38 |
|
39 Mercurial |
|
40 ========= |
|
41 |
|
42 creating a new branch |
|
43 hg branch Nominal2-IsabelleXXXX |
|
44 |
|
45 returning to default branch |
|
46 hg update default |