| changeset 292 | 1f16ff7fea94 |
| parent 291 | 5ef9f6ebe827 |
| child 293 | cab43c4a96d2 |
| 291:5ef9f6ebe827 | 292:1f16ff7fea94 |
|---|---|
1 (*<*) |
1 (*<*) |
2 theory Paper |
2 theory Paper |
3 imports CpsG ExtGG (* "~~/src/HOL/Library/LaTeXsugar" *) LaTeXsugar |
3 imports CpsG ExtGG "~~/src/HOL/Library/LaTeXsugar" |
4 begin |
4 begin |
5 ML {* |
5 ML {* |
6 open Printer; |
6 open Printer; |
7 show_question_marks_default := false; |
7 show_question_marks_default := false; |
8 *} |
8 *} |