+doc: [
+ "_build/install/default/doc/matita/html/WrtCoq.html" {"html/WrtCoq.html"}
+ "_build/install/default/doc/matita/html/authoring.html" {"html/authoring.html"}
+ "_build/install/default/doc/matita/html/axiom_definition_declaration.html" {"html/axiom_definition_declaration.html"}
+ "_build/install/default/doc/matita/html/ch05s02.html" {"html/ch05s02.html"}
+ "_build/install/default/doc/matita/html/cicbrowser.html" {"html/cicbrowser.html"}
+ "_build/install/default/doc/matita/html/command_check.html" {"html/command_check.html"}
+ "_build/install/default/doc/matita/html/command_coercion.html" {"html/command_coercion.html"}
+ "_build/install/default/doc/matita/html/command_include.html" {"html/command_include.html"}
+ "_build/install/default/doc/matita/html/command_include_alias.html" {"html/command_include_alias.html"}
+ "_build/install/default/doc/matita/html/command_qed.html" {"html/command_qed.html"}
+ "_build/install/default/doc/matita/html/command_qed_minus.html" {"html/command_qed_minus.html"}
+ "_build/install/default/doc/matita/html/command_unification_hint.html" {"html/command_unification_hint.html"}
+ "_build/install/default/doc/matita/html/command_universe_constraints.html" {"html/command_universe_constraints.html"}
+ "_build/install/default/doc/matita/html/docbook.css" {"html/docbook.css"}
+ "_build/install/default/doc/matita/html/index.html" {"html/index.html"}
+ "_build/install/default/doc/matita/html/inst_from_src.html" {"html/inst_from_src.html"}
+ "_build/install/default/doc/matita/html/macro_intro.html" {"html/macro_intro.html"}
+ "_build/install/default/doc/matita/html/proofs.html" {"html/proofs.html"}
+ "_build/install/default/doc/matita/html/proofstatus.html" {"html/proofstatus.html"}
+ "_build/install/default/doc/matita/html/sec_commands.html" {"html/sec_commands.html"}
+ "_build/install/default/doc/matita/html/sec_declarative_tactics.html" {"html/sec_declarative_tactics.html"}
+ "_build/install/default/doc/matita/html/sec_gettingstarted.html" {"html/sec_gettingstarted.html"}
+ "_build/install/default/doc/matita/html/sec_install.html" {"html/sec_install.html"}
+ "_build/install/default/doc/matita/html/sec_intro.html" {"html/sec_intro.html"}
+ "_build/install/default/doc/matita/html/sec_license.html" {"html/sec_license.html"}
+ "_build/install/default/doc/matita/html/sec_tacticals.html" {"html/sec_tacticals.html"}
+ "_build/install/default/doc/matita/html/sec_tactics.html" {"html/sec_tactics.html"}
+ "_build/install/default/doc/matita/html/sec_terms.html" {"html/sec_terms.html"}
+ "_build/install/default/doc/matita/html/sec_usernotation.html" {"html/sec_usernotation.html"}
+ "_build/install/default/doc/matita/html/tac_andelim.html" {"html/tac_andelim.html"}
+ "_build/install/default/doc/matita/html/tac_apply.html" {"html/tac_apply.html"}
+ "_build/install/default/doc/matita/html/tac_applyS.html" {"html/tac_applyS.html"}
+ "_build/install/default/doc/matita/html/tac_assume.html" {"html/tac_assume.html"}
+ "_build/install/default/doc/matita/html/tac_assumption.html" {"html/tac_assumption.html"}
+ "_build/install/default/doc/matita/html/tac_auto.html" {"html/tac_auto.html"}
+ "_build/install/default/doc/matita/html/tac_bydone.html" {"html/tac_bydone.html"}
+ "_build/install/default/doc/matita/html/tac_byinduction.html" {"html/tac_byinduction.html"}
+ "_build/install/default/doc/matita/html/tac_bytermweproved.html" {"html/tac_bytermweproved.html"}
+ "_build/install/default/doc/matita/html/tac_case.html" {"html/tac_case.html"}
+ "_build/install/default/doc/matita/html/tac_cases.html" {"html/tac_cases.html"}
+ "_build/install/default/doc/matita/html/tac_change.html" {"html/tac_change.html"}
+ "_build/install/default/doc/matita/html/tac_clear.html" {"html/tac_clear.html"}
+ "_build/install/default/doc/matita/html/tac_conclude.html" {"html/tac_conclude.html"}
+ "_build/install/default/doc/matita/html/tac_constructor.html" {"html/tac_constructor.html"}
+ "_build/install/default/doc/matita/html/tac_cut.html" {"html/tac_cut.html"}
+ "_build/install/default/doc/matita/html/tac_decompose.html" {"html/tac_decompose.html"}
+ "_build/install/default/doc/matita/html/tac_destruct.html" {"html/tac_destruct.html"}
+ "_build/install/default/doc/matita/html/tac_elim.html" {"html/tac_elim.html"}
+ "_build/install/default/doc/matita/html/tac_existselim.html" {"html/tac_existselim.html"}
+ "_build/install/default/doc/matita/html/tac_generalize.html" {"html/tac_generalize.html"}
+ "_build/install/default/doc/matita/html/tac_intro.html" {"html/tac_intro.html"}
+ "_build/install/default/doc/matita/html/tac_intro_clear.html" {"html/tac_intro_clear.html"}
+ "_build/install/default/doc/matita/html/tac_inversion.html" {"html/tac_inversion.html"}
+ "_build/install/default/doc/matita/html/tac_lapply.html" {"html/tac_lapply.html"}
+ "_build/install/default/doc/matita/html/tac_let.html" {"html/tac_let.html"}
+ "_build/install/default/doc/matita/html/tac_letin.html" {"html/tac_letin.html"}
+ "_build/install/default/doc/matita/html/tac_normalize.html" {"html/tac_normalize.html"}
+ "_build/install/default/doc/matita/html/tac_obtain.html" {"html/tac_obtain.html"}
+ "_build/install/default/doc/matita/html/tac_rewrite.html" {"html/tac_rewrite.html"}
+ "_build/install/default/doc/matita/html/tac_rewrite_step.html" {"html/tac_rewrite_step.html"}
+ "_build/install/default/doc/matita/html/tac_suppose.html" {"html/tac_suppose.html"}
+ "_build/install/default/doc/matita/html/tac_thatisequivalentto.html" {"html/tac_thatisequivalentto.html"}
+ "_build/install/default/doc/matita/html/tac_thesisbecomes.html" {"html/tac_thesisbecomes.html"}
+ "_build/install/default/doc/matita/html/tac_weneedtoprove.html" {"html/tac_weneedtoprove.html"}
+ "_build/install/default/doc/matita/html/tac_weproceedbycases.html" {"html/tac_weproceedbycases.html"}
+ "_build/install/default/doc/matita/html/tac_weproceedbyinduction.html" {"html/tac_weproceedbyinduction.html"}
+ "_build/install/default/doc/matita/html/tac_whd.html" {"html/tac_whd.html"}
+ "_build/install/default/doc/matita/html/tacticals.html" {"html/tacticals.html"}
+ "_build/install/default/doc/matita/html/tacticargs.html" {"html/tacticargs.html"}
+ "_build/install/default/doc/matita/matita.pdf"
+]