baseuri=cic:/matita/automath/