***********************************************************************

                         A T T E N Z I O N E ! ! !

 Quando si usa fix_params.opt, scrivere

       find /really_very_local/helm/PARSER/examples

 invece di examples

 ***********************************************************************

 PROBLEMA NON FIXATO CON fix_params

 LA SOLUZIONE E'



Correggere:

 examples/coq/SETS/Powerset_facts/Sets_as_an_algebra/setcover_intro.con.xml

aggiungendo paramMode="POSSIBLE"

Un esempio che altrimenti non funziona e':

examples/coq/SETS/Powerset_Classical_facts/Sets_as_an_algebra/Add_covers.con.xml