2 ***********************************************************************
4 A T T E N Z I O N E ! ! !
6 Quando si usa fix_params.opt, scrivere
8 find /really_very_local/helm/PARSER/examples
12 ***********************************************************************
14 PROBLEMA NON FIXATO CON fix_params
22 examples/coq/SETS/Powerset_facts/Sets_as_an_algebra/setcover_intro.con.xml
24 aggiungendo paramMode="POSSIBLE"
26 Un esempio che altrimenti non funziona e':
28 examples/coq/SETS/Powerset_Classical_facts/Sets_as_an_algebra/Add_covers.con.xml