equal
deleted
inserted
replaced
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" |
36 "Ex/Pi" |
|
37 theories [quick_and_dirty] |
|
38 "Ex/Let" |
37 |
39 |
38 (* |
40 session Esop! in "ESOP-Paper" = Nominal2 + |
39 quick_and_dirty := true; |
41 theories [document = false] |
40 |
42 "~~/src/HOL/Library/LaTeXsugar" |
41 no_document use_thys |
43 theories |
42 ["Ex/Let"]; |
44 "Paper" |
43 *) |
45 files "document/root.bib" "document/root.tex" |
44 |
|