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