| changeset 3096 | ccc2c92bb232 |
| parent 2976 | 7c848e330a80 |
| child 3127 | 4cc2fe62f7c3 |
| 3095:20251c80be78 | 3096:ccc2c92bb232 |
|---|---|
1 \documentstyle[a4,12pt]{article} |
1 \documentclass[12pt]{article} |
2 \usepackage{a4} |
|
3 |
|
2 \makeatletter |
4 \makeatletter |
3 \input{../proof209.sty} |
5 \input{../proof.sty} |
4 \input{../iman.sty} |
6 \input{../iman.sty} |
5 \input{../extra.sty} |
7 \input{../extra.sty} |
6 \makeatother |
8 \makeatother |
7 |
9 |
8 %% $Id$ |
10 %% $Id$ |