+(******************************************************************************)
+(* *)
+(* PROJECT HELM *)
+(* *)
+(* Ferruccio Guidi <fguidi@cs.unibo.it> *)
+(* 06/01/2003 *)
+(* *)
+(* *)
+(******************************************************************************)
+