# HG changeset patch
# User lcp
# Date 806683928 -7200
# Node ID 906c32af858d5f770b1d7af1d2403a4b21d4e763
# Parent  9968989790e2c4baa4e4e58141b849a63a771170
now uses proof209.sty

diff -r 9968989790e2 -r 906c32af858d doc-src/Intro/intro.tex
--- 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
diff -r 9968989790e2 -r 906c32af858d doc-src/Logics/logics.tex
--- 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}
diff -r 9968989790e2 -r 906c32af858d doc-src/Ref/ref.tex
--- 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}