| changeset 2351 | 842969a598f2 |
| parent 2302 | c6db12ddb60c |
| child 2359 | 46f753eeb0b8 |
| 2350:0a5320c6a7e6 | 2351:842969a598f2 |
|---|---|
1 \usepackage{beamerthemeplaincu} |
1 \usepackage{beamerthemeplainculight} |
2 \usepackage[T1]{fontenc} |
2 \usepackage[T1]{fontenc} |
3 \usepackage{proof} |
3 \usepackage{proof} |
4 \usepackage{german} |
4 \usepackage{german} |
5 \usepackage[latin1]{inputenc} |
5 \usepackage[latin1]{inputenc} |
6 \usepackage{isabelle} |
6 \usepackage{isabelle} |