equal
deleted
inserted
replaced
1 session Nominal2! in "Nominal" = HOL + |
1 session Nominal2 in "Nominal" = HOL + |
2 options [document = false] |
2 options [document = false] |
3 theories |
3 theories |
4 "Nominal2" |
4 "Nominal2" |
5 "Atoms" |
5 "Atoms" |
6 "Eqvt" |
6 "Eqvt" |
7 |
7 |
8 session Tests! in "Nominal" = Nominal2 + |
8 session Examples (Tests) in "Nominal" = Nominal2 + |
9 options [document = false] |
9 options [document = false] |
10 theories |
10 theories |
11 "Ex/Weakening" |
11 "Ex/Weakening" |
12 "Ex/Classical" |
12 "Ex/Classical" |
13 "Ex/Datatypes" |
13 "Ex/Datatypes" |
35 "Ex/CoreHaskell2" |
35 "Ex/CoreHaskell2" |
36 "Ex/Pi" |
36 "Ex/Pi" |
37 theories [quick_and_dirty] |
37 theories [quick_and_dirty] |
38 "Ex/Let" |
38 "Ex/Let" |
39 |
39 |
40 session Esop! in "ESOP-Paper" = Nominal2 + |
40 session Tutorial_Exercises (Tests) in "Tutorial" = Nominal2 + |
|
41 options [document = false, quick_and_dirty] |
|
42 theories |
|
43 "Lambda" |
|
44 "Minimal" |
|
45 "Tutorial1s" |
|
46 "Tutorial3s" |
|
47 "Tutorial4s" |
|
48 "Tutorial1" |
|
49 "Tutorial2" |
|
50 "Tutorial2s" |
|
51 "Tutorial3" |
|
52 "Tutorial4" |
|
53 "Tutorial5" |
|
54 "Tutorial6" |
|
55 |
|
56 session CPS (Tests) in "Nominal" = Nominal2 + |
|
57 options [document = false, quick_and_dirty] |
|
58 theories |
|
59 "Ex/CPS/Lt" |
|
60 "Ex/CPS/CPS1_Plotkin" |
|
61 "Ex/CPS/CPS2_DanvyNielsen" |
|
62 "Ex/CPS/CPS3_DanvyFilinski" |
|
63 "Ex/CPS/CPS3_DanvyFilinski_FCB2" |
|
64 |
|
65 |
|
66 session Esop in "ESOP-Paper" = Nominal2 + |
41 theories [document = false] |
67 theories [document = false] |
42 "~~/src/HOL/Library/LaTeXsugar" |
68 "~~/src/HOL/Library/LaTeXsugar" |
43 theories |
69 theories |
44 "Paper" |
70 "Paper" |
45 files "document/root.bib" "document/root.tex" |
71 files "document/root.bib" "document/root.tex" |