changeset 4239 | 8c98484ef66f |
parent 3285 | 9a3fe25f30bb |
child 5165 | ac83801ab294 |
--- a/doc-src/Intro/intro.tex Tue Nov 18 16:37:25 1997 +0100 +++ b/doc-src/Intro/intro.tex Thu Nov 20 10:50:51 1997 +0100 @@ -1,11 +1,5 @@ \documentclass[12pt]{article} -\usepackage{a4} - -\makeatletter -\input{../proof.sty} -\input{../iman.sty} -\input{../extra.sty} -\makeatother +\usepackage{a4,../iman,../extra,../proof} %% $Id$ %% run bibtex intro to prepare bibliography