Newsgroups: fj.comp.texhax
Path: galaxy.trc.rwcp.or.jp!jaist-news!jaist-news!adachi
From: adachi@jaist-east.ac.jp (Adachi Tomochika)
Subject: Re: Shoumeizu
In-Reply-To: haga@kanlab.sdl.hitachi.co.jp's message of 10 Feb 93 10:28:39 JST
Message-ID: <ADACHI.93Feb10233418@soramimi.jaist-east.ac.jp>
Followup-To: fj.comp.texhax
Lines: 34
Sender: news@jaist-east.ac.jp (News System Administrator)
Organization: JAIST, HOKURIKU
References: <1019@kanlab.sdl.hitachi.co.jp>
Distribution: fj
Date: Wed, 10 Feb 1993 14:34:18 GMT
Xref: galaxy.trc.rwcp.or.jp fj.comp.texhax:3318
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.texhax&nb=3318&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

$B$"$@$A!wKLN&@hC<Bg$G$9!#(B

In article <1019@kanlab.sdl.hitachi.co.jp> 
haga@kanlab.sdl.hitachi.co.jp (HAGA Hirohide) writes:

   > $B#F#A#Q$+$b$7$l$^$;$s$,!"?tM}O@M}3X$J$s$+$K=P$FMh$k>ZL@?^$r(B
   > $B=q$/$?$a$N$h$$<jCJ$O$"$j$^$;$s$+!)(B

%       proof.sty       (Proof Figure Macros)
%
%       version 1.0
%       October 13, 1990
%       Copyright (C) 1990 Makoto Tatsuta (tatsuta@riec.tohoku.ac.jp)

$B$H$$$&$b$N$r;d$O;H$C$F$$$^$9!#$3$l$O<j7Z$G4JC1$G=EJu$7$F$$$^$9!#(B
archie$B$GC5$9$H$$$m$$$m$J$H$3$m$K$"$k$h$&$G$9!#(B
ftp$B$G$-$J$1$l$P%a%$%k$GAw$j$^$9!#(B 

$B$3$l$r;H$&$H!"(B

   > $B!!!!!N#a!'#A"J#B!O(B
   > $B!!!!!]!]!]!]!]!]!](B
   > $B!!!!!!!!!!#B(B
   > $B!!!!!]!]!]!]!]!]!]!!#a(B
   > $B!!!!!J#A"J#B!K"?#B(B

$B$O!"(B

    \infer[a]{(A \land B) \supset B}
     {\infer {B} {[a:A \land B]}}

$B$H$9$l$P$h$$$G$9!#(B

$BB-N)(B $BJ~:H(B(adachi@jaist-east.ac.jp)
