🚀 go-pugleaf

In article <1993Feb3.043301.6557@CSD-NewsHost.Stanford.EDU> minami@Xenon.Stanford.EDU (Etsuro Minami) writes:
>$BEy9f$H$O4X78$J$/0l3,=R8lO@M}$G$NBeF~!JJQ?t$NCV$-49$(!K$K4X$9$kDj5A$H(B
>$B:.F1$7$F$7$^$&$N$G$O!"$H$$$&0UL#$G$O$J$$$+$H;W$$$^$9$,$I$&$G$7$g$&!#(B
>$BK!B'$H8@$o$l$k$H(B axiom $B$H$$$&$h$j$O(B rule $B$N$3$H$r;X$7$F$$$k$H;W$($F(B
>$B$7$^$$$^$9!#(B

$BFC$K!VBeF~K!B'!W$H$$$&L>A0$K$3$@$o$k$o$1$G$O$"$j$^$;$s!#8@$$$d$9$$E,Ev(B
$B$JL>A0$J$$$G$7$g$&$+$M!#$"$H!"BeF~$HJQ?t$NCV$-49$($O0c$$$^$9$h!#$=$l$+(B
$B$i!"(Baxiom $B$O(B rule (of inference) $B$NFCJL$J$b$N$H9M$($k>l9g$b$"$j$^$9!#(B

$B$-$N$7$?(B
-- 
KINOSHITA Yoshiki [KINOSHITA is my family name]
Department of Computer Science, University of Edinburgh
James Clark Maxwell Building, The King's Buildings, Edinburgh EH9 3JZ, Scotland
[On leave from Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, 305 Japan]