equal
deleted
inserted
replaced
15 "Ex/ExPS3" |
15 "Ex/ExPS3" |
16 "Ex/Multi_Recs" |
16 "Ex/Multi_Recs" |
17 "Ex/Multi_Recs2" |
17 "Ex/Multi_Recs2" |
18 "Ex/LF" |
18 "Ex/LF" |
19 "Ex/Lambda" |
19 "Ex/Lambda" |
20 (*"Ex/Let",*) |
20 "Ex/Let" |
21 "Ex/LetPat" |
21 "Ex/LetPat" |
22 "Ex/LetRec" |
22 "Ex/LetRec" |
23 "Ex/LetRec2" |
23 "Ex/LetRec2" |
24 "Ex/LetFun" |
24 "Ex/LetFun" |
25 "Ex/Modules" |
25 "Ex/Modules" |
31 "Ex/TypeVarsTest" |
31 "Ex/TypeVarsTest" |
32 "Ex/Foo1" |
32 "Ex/Foo1" |
33 "Ex/Foo2" |
33 "Ex/Foo2" |
34 "Ex/CoreHaskell" |
34 "Ex/CoreHaskell" |
35 "Ex/CoreHaskell2" |
35 "Ex/CoreHaskell2" |
36 "Ex/Pi" |
|
37 theories [quick_and_dirty] |
|
38 "Ex/Let" |
|
39 |
|
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 |
36 |
65 |
37 |
66 session Esop in "ESOP-Paper" = Nominal2 + |
|
67 theories [document = false] |
|
68 "~~/src/HOL/Library/LaTeXsugar" |
|
69 theories |
|
70 "Paper" |
|
71 files "document/root.bib" "document/root.tex" |
|