(**************************************************************************)
set "baseuri" "cic:/matita/tests/paramodulation".
(**************************************************************************)
set "baseuri" "cic:/matita/tests/paramodulation".