# HG changeset patch # User paulson # Date 863015162 -7200 # Node ID feb7a5d01c1e2b017285c66556c855a8f2d6b7d6 # Parent 3f0ab2c306f75b84996c9796711185c6f1883437 Larry's private LaTeX-2e version diff -r 3f0ab2c306f7 -r feb7a5d01c1e doc-src/proof.sty --- a/doc-src/proof.sty Wed May 07 13:51:22 1997 +0200 +++ b/doc-src/proof.sty Wed May 07 16:26:02 1997 +0200 @@ -1,8 +1,11 @@ -% proof.sty (Proof Figure Macros) +\ProvidesPackage{proof}[1995/05/22] +% proof.sty (Proof Figure Macros) % -% version 1.0 -% October 13, 1990 -% Copyright (C) 1990 Makoto Tatsuta (tatsuta@riec.tohoku.ac.jp) +% version 2.0 +% June 24, 1991 +% Copyright (C) 1990,1991 Makoto Tatsuta (tatsuta@riec.tohoku.ac.jp) +% +%Modified for LaTeX-2e by L. C. Paulson % % This program is free software; you can redistribute it or modify % it under the terms of the GNU General Public License as published by @@ -14,65 +17,71 @@ % MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the % GNU General Public License for more details. % -% Usage: -% In \documentstyle, specify an optional style `proof', say, -% \documentstyle[proof]{article}. +% Usage: +% In \documentstyle, specify an optional style `proof', say, +% \documentstyle[proof]{article}. +% +% The following macros are available: % -% The following macros are available: +% In all the following macros, all the arguments such as +% and are processed in math mode. % -% In all the following macros, all the arguments such as -% and are processed in math mode. +% \infer +% draws an inference. % -% \infer -% draws an inference. +% Use & in to delimit upper formulae. +% consists more than 0 formulae. % -% Use & in to delimit upper formulae. -% consists more than 0 formulae. +% \infer returns \hbox{ ... } or \vbox{ ... } and +% sets \@LeftOffset and \@RightOffset globally. % -% \infer returns \hbox{ ... } or \vbox{ ... } and -% sets \@LeftOffset and \@RightOffset globally. +% \infer[