diff --git a/alliance/src/boog/doc/lax.5 b/alliance/src/boog/doc/lax.5
index 79d85160..9e56d88f 100644
--- a/alliance/src/boog/doc/lax.5
+++ b/alliance/src/boog/doc/lax.5
@@ -1,22 +1,4 @@
-.\"   $Id: lax.5,v 1.4 2002/10/24 08:30:53 xtof Exp $
-.\"                ,,,
-.\"               (o o)
-.\"  ####=====oOO--(_)--OOO=========================================####
-.\"  ##                                                               ##
-.\"  ##   This file is part of FPT : A Formal Proof Toolkit           ##
-.\"  ##   (C) 1996, ASIM/LIP6, CAO-VLSI Team                               ##
-.\"  ##                                                               ##
-.\"  ##   File            :  magic.1 (manual file)                    ##
-.\"  ##   Author          :  Olivier SIROL                            ##
-.\"  ##   Date            :  Sep 1996                                 ##
-.\"  ##                                                               ##
-.\"  ##   E-mail          :  alliance\-users@asim.lip6.fr                     ##
-.\"  ##                                                               ##
-.\"  ####===========================================================####
-.\" 
-.\" 
-.\"   $Id: lax.5,v 1.4 2002/10/24 08:30:53 xtof Exp $
-.\" 
+.\"   $Id: lax.5,v 1.5 2004/09/04 21:46:34 ludo Exp $
 .\" 
 .TH LAX 5 "October 1, 1997" "ASIM/LIP6" "CAO\-VLSI Reference Manual"
 
@@ -140,16 +122,6 @@ ef_1;
 ef_e4;
 }
 
-
-## The following parameters are used for whith C4
-
-## Number of serial transistor in  N-graph
-#N{4}
-
-## Number of serial transistor in  P-graph
-#P{4}
-
-
 ## The following parameters are used for whith glop
 ## (Delayed --#D--inputs are also used)