| changeset 1186 | 906c32af858d |
| parent 1113 | dd7284573601 |
| child 1226 | e9c01f251f5d |
--- a/doc-src/Logics/logics.tex Tue Jul 25 16:50:48 1995 +0200 +++ b/doc-src/Logics/logics.tex Tue Jul 25 16:52:08 1995 +0200 @@ -1,4 +1,4 @@ -\documentstyle[a4,12pt,proof,iman,extra,rail]{report} +\documentstyle[a4,12pt,proof209,iman,extra,rail]{report} %% $Id$ %%%STILL NEEDS MODAL, LCF %%%\includeonly{ZF}