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