| changeset 2174 | 157e8a4a6556 |
| parent 2032 | 5641981ec67d |
| child 2202 | bdbf040dce89 |
| 2173:477293d841e8 | 2174:157e8a4a6556 |
|---|---|
1 \documentclass{svjour3} |
1 %\documentclass{svjour3} |
2 \documentclass{llncs} |
|
2 \usepackage{times} |
3 \usepackage{times} |
3 \usepackage{isabelle} |
4 \usepackage{isabelle} |
4 \usepackage{isabellesym} |
5 \usepackage{isabellesym} |
5 \usepackage{amsmath} |
6 \usepackage{amsmath} |
6 \usepackage{amssymb} |
7 \usepackage{amssymb} |