| changeset 2301 | 8732ff59068b |
| parent 2174 | 157e8a4a6556 |
| child 2202 | bdbf040dce89 |
| 2300:9fb315392493 | 2301:8732ff59068b |
|---|---|
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} |