(* *)
(* PROJECT HELM *)
(* *)
-(* Ferruccio Guidi <fguidi@cs.unibo.it> *)
-(* 30/04/2002 *)
+(* Claudio Sacerdoti Coen <sacerdot@cs.unibo.it> *)
+(* 02/12/2002 *)
(* *)
+(* Missing description *)
(* *)
(******************************************************************************)