| changeset 1484 | dc7b049d9072 |
| parent 1328 | 531dcebbf483 |
| child 1485 | c004e7448dca |
| 1483:2ca8e43b53c5 | 1484:dc7b049d9072 |
|---|---|
1 \documentstyle[epsf]{acmconf} |
1 \documentclass{article} |
2 %%\documentclass[epsf]{acmconf} |
|
2 \usepackage{isabelle,isabellesym} |
3 \usepackage{isabelle,isabellesym} |
3 |
4 |
4 % further packages required for unusual symbols (see also |
5 % further packages required for unusual symbols (see also |
5 % isabellesym.sty), use only when needed |
6 % isabellesym.sty), use only when needed |
6 |
7 |