diff --git a/alliance/share/man/man5/sxlib.5 b/alliance/share/man/man5/sxlib.5
index ada85359..8ea197de 100644
--- a/alliance/share/man/man5/sxlib.5
+++ b/alliance/share/man/man5/sxlib.5
@@ -1,4 +1,4 @@
-.\" $Id: sxlib.5,v 1.5 1999/09/28 07:21:23 franck Exp $
+.\" $Id: sxlib.5,v 1.6 1999/09/29 18:29:08 franck Exp $
 .\" @(#)Labo.l 0.0 92/09/24 UPMC; Author: Franck Wajsburt
 .TH SXLIB 5 "September 16, 1999" "ASIM/LIP6" "CAO\-VLSI Reference Manual"
 .SH NAME
@@ -228,19 +228,19 @@ means and, ^ means xor. Each input is followed by fan-in capacitance in fF,
 10 nao22_x4   1.3  nq <= /((i0<8>+i1<8>).i2<9>)
  6 noa22_x1    .9  nq <= /((i0<14>.i1<14>)+i2<14>)
 10 noa22_x4   1.3  nq <= /((i0<8>.i1<8>)+i2<9>)
- 6 ao22_x1    1.2  nq <=  ((i0<8>+i1<8>).i2<9>)
- 8 ao22_x4    1.3  nq <=  ((i0<8>+i1<8>).i2<9>)
- 6 oa22_x1    1.2  nq <=  ((i0<8>.i1<8>)+i2<9>)
- 8 oa22_x4    1.3  nq <=  ((i0<8>.i1<8>)+i2<9>)
+ 6 ao22_x1    1.2   q <=  ((i0<8>+i1<8>).i2<9>)
+ 8 ao22_x4    1.3   q <=  ((i0<8>+i1<8>).i2<9>)
+ 6 oa22_x1    1.2   q <=  ((i0<8>.i1<8>)+i2<9>)
+ 8 oa22_x4    1.3   q <=  ((i0<8>.i1<8>)+i2<9>)
 \fB--------------------------------------------------------- AND/OR 4\fP
  7 nao2o22_x1 1.0  nq <= /((i0<14>+i1<14>).(i2<14>+i3<14>))
 11 nao2o22_x4 1.4  nq <= /((i0<8>+i1<8>).(i2<8>+i3<8>))
  7 noa2a22_x1 1.0  nq <= /((i0<14>.i1<14>)+(i2<14>.i3<14>))
 11 noa2a22_x4 1.4  nq <= /((i0<8>.i1<8>)+(i2<8>.i3<8>))
- 9 ao2o22_x1  1.2  nq <=  ((i0<8>+i1<8>).(i2<8>+i3<8>))
-10 ao2o22_x4  1.3  nq <=  ((i0<8>+i1<8>).(i2<8>+i3<8>))
- 9 oa2a22_x1  1.2  nq <=  ((i0<8>.i1<8>)+(i2<8>.i3<8>))
-10 oa2a22_x4  1.4  nq <=  ((i0<8>.i1<8>)+(i2<8>.i3<8>))
+ 9 ao2o22_x1  1.2   q <=  ((i0<8>+i1<8>).(i2<8>+i3<8>))
+10 ao2o22_x4  1.3   q <=  ((i0<8>+i1<8>).(i2<8>+i3<8>))
+ 9 oa2a22_x1  1.2   q <=  ((i0<8>.i1<8>)+(i2<8>.i3<8>))
+10 oa2a22_x4  1.4   q <=  ((i0<8>.i1<8>)+(i2<8>.i3<8>))