File list of package matita-doc in squeeze of architecture all

/usr/share/doc-base/matita-manual
/usr/share/doc/matita-doc/AUTHORS
/usr/share/doc/matita-doc/BUGS
/usr/share/doc/matita-doc/changelog.Debian.gz
/usr/share/doc/matita-doc/changelog.gz
/usr/share/doc/matita-doc/copyright
/usr/share/doc/matita-doc/html/WrtCoq.html
/usr/share/doc/matita-doc/html/authoring.html
/usr/share/doc/matita-doc/html/axiom_definition_declaration.html
/usr/share/doc/matita-doc/html/ch05s02.html
/usr/share/doc/matita-doc/html/cicbrowser.html
/usr/share/doc/matita-doc/html/command_check.html
/usr/share/doc/matita-doc/html/command_coercion.html
/usr/share/doc/matita-doc/html/command_default.html
/usr/share/doc/matita-doc/html/command_eval.html
/usr/share/doc/matita-doc/html/command_hint.html
/usr/share/doc/matita-doc/html/command_include.html
/usr/share/doc/matita-doc/html/command_include_first.html
/usr/share/doc/matita-doc/html/command_inline.html
/usr/share/doc/matita-doc/html/command_prefer_coercion.html
/usr/share/doc/matita-doc/html/command_qed.html
/usr/share/doc/matita-doc/html/command_whelp.html
/usr/share/doc/matita-doc/html/docbook.css
/usr/share/doc/matita-doc/html/figures/database.dia.gz
/usr/share/doc/matita-doc/html/figures/database.png
/usr/share/doc/matita-doc/html/figures/matita.png
/usr/share/doc/matita-doc/html/figures/vbox1.png
/usr/share/doc/matita-doc/html/figures/vbox2.png
/usr/share/doc/matita-doc/html/figures/vbox3.png
/usr/share/doc/matita-doc/html/figures/vbox35.png
/usr/share/doc/matita-doc/html/figures/vbox4.png
/usr/share/doc/matita-doc/html/figures/vbox5.png
/usr/share/doc/matita-doc/html/figures/vbox6.png
/usr/share/doc/matita-doc/html/figures/vbox7.png
/usr/share/doc/matita-doc/html/index.html
/usr/share/doc/matita-doc/html/inst_from_src.html
/usr/share/doc/matita-doc/html/matita.conf.xml.html
/usr/share/doc/matita-doc/html/proofs.html
/usr/share/doc/matita-doc/html/proofstatus.html
/usr/share/doc/matita-doc/html/sec_commands.html
/usr/share/doc/matita-doc/html/sec_declarative_tactics.html
/usr/share/doc/matita-doc/html/sec_gettingstarted.html
/usr/share/doc/matita-doc/html/sec_install.html
/usr/share/doc/matita-doc/html/sec_intro.html
/usr/share/doc/matita-doc/html/sec_license.html
/usr/share/doc/matita-doc/html/sec_tacticals.html
/usr/share/doc/matita-doc/html/sec_tactics.html
/usr/share/doc/matita-doc/html/sec_terms.html
/usr/share/doc/matita-doc/html/sec_usernotation.html
/usr/share/doc/matita-doc/html/tac_absurd.html
/usr/share/doc/matita-doc/html/tac_andelim.html
/usr/share/doc/matita-doc/html/tac_apply.html
/usr/share/doc/matita-doc/html/tac_applyS.html
/usr/share/doc/matita-doc/html/tac_assume.html
/usr/share/doc/matita-doc/html/tac_assumption.html
/usr/share/doc/matita-doc/html/tac_auto.html
/usr/share/doc/matita-doc/html/tac_bydone.html
/usr/share/doc/matita-doc/html/tac_byinduction.html
/usr/share/doc/matita-doc/html/tac_bytermweproved.html
/usr/share/doc/matita-doc/html/tac_case.html
/usr/share/doc/matita-doc/html/tac_cases.html
/usr/share/doc/matita-doc/html/tac_change.html
/usr/share/doc/matita-doc/html/tac_clear.html
/usr/share/doc/matita-doc/html/tac_clearbody.html
/usr/share/doc/matita-doc/html/tac_compose.html
/usr/share/doc/matita-doc/html/tac_constructor.html
/usr/share/doc/matita-doc/html/tac_contradiction.html
/usr/share/doc/matita-doc/html/tac_cut.html
/usr/share/doc/matita-doc/html/tac_decompose.html
/usr/share/doc/matita-doc/html/tac_demodulate.html
/usr/share/doc/matita-doc/html/tac_destruct.html
/usr/share/doc/matita-doc/html/tac_elim.html
/usr/share/doc/matita-doc/html/tac_elimType.html
/usr/share/doc/matita-doc/html/tac_exact.html
/usr/share/doc/matita-doc/html/tac_exists.html
/usr/share/doc/matita-doc/html/tac_exitselim.html
/usr/share/doc/matita-doc/html/tac_fail.html
/usr/share/doc/matita-doc/html/tac_fold.html
/usr/share/doc/matita-doc/html/tac_fourier.html
/usr/share/doc/matita-doc/html/tac_fwd.html
/usr/share/doc/matita-doc/html/tac_generalize.html
/usr/share/doc/matita-doc/html/tac_id.html
/usr/share/doc/matita-doc/html/tac_intro.html
/usr/share/doc/matita-doc/html/tac_intros.html
/usr/share/doc/matita-doc/html/tac_inversion.html
/usr/share/doc/matita-doc/html/tac_lapply.html
/usr/share/doc/matita-doc/html/tac_left.html
/usr/share/doc/matita-doc/html/tac_letin.html
/usr/share/doc/matita-doc/html/tac_normalize.html
/usr/share/doc/matita-doc/html/tac_obtain.html
/usr/share/doc/matita-doc/html/tac_reflexivity.html
/usr/share/doc/matita-doc/html/tac_replace.html
/usr/share/doc/matita-doc/html/tac_rewrite.html
/usr/share/doc/matita-doc/html/tac_right.html
/usr/share/doc/matita-doc/html/tac_ring.html
/usr/share/doc/matita-doc/html/tac_simplify.html
/usr/share/doc/matita-doc/html/tac_split.html
/usr/share/doc/matita-doc/html/tac_subst.html
/usr/share/doc/matita-doc/html/tac_suppose.html
/usr/share/doc/matita-doc/html/tac_symmetry.html
/usr/share/doc/matita-doc/html/tac_thesisbecomes.html
/usr/share/doc/matita-doc/html/tac_transitivity.html
/usr/share/doc/matita-doc/html/tac_unfold.html
/usr/share/doc/matita-doc/html/tac_weneedtoprove.html
/usr/share/doc/matita-doc/html/tac_weproceedbycases.html
/usr/share/doc/matita-doc/html/tac_weproceedbyinduction.html
/usr/share/doc/matita-doc/html/tac_whd.html
/usr/share/doc/matita-doc/html/tacticals.html
/usr/share/doc/matita-doc/html/tacticargs.html
/usr/share/doc/matita-doc/pdf/matita.pdf