(* *)
(**************************************************************************)
-include "../Base-1/theory.ma".
+include "Base-1/theory.ma".
alias id "and_ind" = "cic:/Coq/Init/Logic/and_ind.con".
alias id "bool_ind" = "cic:/Coq/Init/Datatypes/bool_ind.con".