equal
deleted
inserted
replaced
1 |
|
2 (* Author: Florian Haftmann, TU Muenchen *) |
|
3 |
|
4 header {* Generating code using pretty literals and natural number literals *} |
|
5 |
|
6 theory Candidates_Pretty |
|
7 imports Candidates Code_Char Code_Target_Numeral |
|
8 begin |
|
9 |
|
10 end |
|