(**************************************************************************)
set "baseuri" "cic:/matita/tests/comments/".
-include "legacy/coq.ma".
+include "../legacy/coq.ma".
(* commento che va nell'ast, ma non viene contato
come step perche' non e' un executable