--- a/doc-src/Intro/intro.tex Tue Jul 25 16:50:48 1995 +0200
+++ b/doc-src/Intro/intro.tex Tue Jul 25 16:52:08 1995 +0200
@@ -1,4 +1,4 @@
-\documentstyle[a4,12pt,proof,iman,extra]{article}
+\documentstyle[a4,12pt,proof209,iman,extra]{article}
%% $Id$
%% run bibtex intro to prepare bibliography
%% run ../sedindex intro to prepare index file
--- 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}
--- a/doc-src/Ref/ref.tex Tue Jul 25 16:50:48 1995 +0200
+++ b/doc-src/Ref/ref.tex Tue Jul 25 16:52:08 1995 +0200
@@ -1,4 +1,4 @@
-\documentstyle[a4,12pt,rail,proof,iman,extra]{report}
+\documentstyle[a4,12pt,rail,proof209,iman,extra]{report}
%% $Id$
%%\includeonly{}
%%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\) [\\ttindexbold{\1}