About

This package is 1.1 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/m/matita/matita-doc_0.5.8-3build1_all.deb .

View its full control file here: debian/control.

Description

user manual of the Matita interactive theorem prover

Relations

This package does not depend on any other package.

This package does not recommend any other package.

This package suggests: matita, yelp.

This package does not conflict with any other package.

Package Contents

This package is indexed.

matita-doc 0.5.8-3build1 is in ubuntu - precise / universe. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/matita-manual text/plain root:root 0o644 325 bytes
/usr/share/doc/matita-doc/ root:root 0o755
/usr/share/doc/matita-doc/AUTHORS text/plain root:root 0o644 232 bytes
/usr/share/doc/matita-doc/BUGS text/plain root:root 0o644 106 bytes
/usr/share/doc/matita-doc/changelog.Debian.gz application/gzip root:root 0o644 1.1 KB
/usr/share/doc/matita-doc/copyright text/plain root:root 0o644 1.0 KB
/usr/share/doc/matita-doc/html/ root:root 0o755
/usr/share/doc/matita-doc/html/authoring.html text/xml root:root 0o644 4.2 KB
/usr/share/doc/matita-doc/html/axiom_definition_declaration.html text/xml root:root 0o644 11.4 KB
/usr/share/doc/matita-doc/html/ch05s02.html text/xml root:root 0o644 7.0 KB
/usr/share/doc/matita-doc/html/cicbrowser.html text/xml root:root 0o644 5.2 KB
/usr/share/doc/matita-doc/html/command_check.html text/xml root:root 0o644 2.6 KB
/usr/share/doc/matita-doc/html/command_coercion.html text/xml root:root 0o644 4.6 KB
/usr/share/doc/matita-doc/html/command_default.html text/xml root:root 0o644 11.9 KB
/usr/share/doc/matita-doc/html/command_eval.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/command_hint.html text/xml root:root 0o644 2.6 KB
/usr/share/doc/matita-doc/html/command_include_first.html text/xml root:root 0o644 2.5 KB
/usr/share/doc/matita-doc/html/command_include.html text/xml root:root 0o644 3.3 KB
/usr/share/doc/matita-doc/html/command_inline.html text/xml root:root 0o644 8.9 KB
/usr/share/doc/matita-doc/html/command_prefer_coercion.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/command_qed.html text/xml root:root 0o644 2.4 KB
/usr/share/doc/matita-doc/html/command_whelp.html text/xml root:root 0o644 3.6 KB
/usr/share/doc/matita-doc/html/docbook.css text/plain root:root 0o644 646 bytes
/usr/share/doc/matita-doc/html/figures/ root:root 0o755
/usr/share/doc/matita-doc/html/figures/database.dia.gz application/gzip root:root 0o644 5.4 KB
/usr/share/doc/matita-doc/html/figures/database.png image/png root:root 0o644 6.6 KB
/usr/share/doc/matita-doc/html/figures/matita.png image/png root:root 0o644 3.0 KB
/usr/share/doc/matita-doc/html/figures/vbox1.png image/png root:root 0o644 56.1 KB
/usr/share/doc/matita-doc/html/figures/vbox2.png image/png root:root 0o644 30.8 KB
/usr/share/doc/matita-doc/html/figures/vbox35.png image/png root:root 0o644 21.7 KB
/usr/share/doc/matita-doc/html/figures/vbox3.png image/png root:root 0o644 17.6 KB
/usr/share/doc/matita-doc/html/figures/vbox4.png image/png root:root 0o644 33.0 KB
/usr/share/doc/matita-doc/html/figures/vbox5.png image/png root:root 0o644 30.6 KB
/usr/share/doc/matita-doc/html/figures/vbox6.png image/png root:root 0o644 4.9 KB
/usr/share/doc/matita-doc/html/figures/vbox7.png image/png root:root 0o644 163.6 KB
/usr/share/doc/matita-doc/html/index.html text/xml root:root 0o644 17.3 KB
/usr/share/doc/matita-doc/html/inst_from_src.html text/xml root:root 0o644 14.5 KB
/usr/share/doc/matita-doc/html/matita.conf.xml.html text/xml root:root 0o644 6.8 KB
/usr/share/doc/matita-doc/html/proofs.html text/xml root:root 0o644 6.6 KB
/usr/share/doc/matita-doc/html/proofstatus.html text/xml root:root 0o644 5.3 KB
/usr/share/doc/matita-doc/html/sec_commands.html text/xml root:root 0o644 6.4 KB
/usr/share/doc/matita-doc/html/sec_declarative_tactics.html text/xml root:root 0o644 10.3 KB
/usr/share/doc/matita-doc/html/sec_gettingstarted.html text/xml root:root 0o644 4.9 KB
/usr/share/doc/matita-doc/html/sec_install.html text/xml root:root 0o644 9.4 KB
/usr/share/doc/matita-doc/html/sec_intro.html text/xml root:root 0o644 3.8 KB
/usr/share/doc/matita-doc/html/sec_license.html text/xml root:root 0o644 2.8 KB
/usr/share/doc/matita-doc/html/sec_tacticals.html text/xml root:root 0o644 3.9 KB
/usr/share/doc/matita-doc/html/sec_tactics.html text/xml root:root 0o644 21.3 KB
/usr/share/doc/matita-doc/html/sec_terms.html text/xml root:root 0o644 28.5 KB
/usr/share/doc/matita-doc/html/sec_usernotation.html text/xml root:root 0o644 28.7 KB
/usr/share/doc/matita-doc/html/tac_absurd.html text/xml root:root 0o644 2.8 KB
/usr/share/doc/matita-doc/html/tac_andelim.html text/xml root:root 0o644 3.7 KB
/usr/share/doc/matita-doc/html/tac_apply.html text/xml root:root 0o644 3.3 KB
/usr/share/doc/matita-doc/html/tac_applyS.html text/xml root:root 0o644 4.3 KB
/usr/share/doc/matita-doc/html/tac_assume.html text/xml root:root 0o644 3.4 KB
/usr/share/doc/matita-doc/html/tac_assumption.html text/xml root:root 0o644 2.5 KB
/usr/share/doc/matita-doc/html/tac_auto.html text/xml root:root 0o644 3.3 KB
/usr/share/doc/matita-doc/html/tac_bydone.html text/xml root:root 0o644 2.6 KB
/usr/share/doc/matita-doc/html/tac_byinduction.html text/xml root:root 0o644 2.9 KB
/usr/share/doc/matita-doc/html/tac_bytermweproved.html text/xml root:root 0o644 3.3 KB
/usr/share/doc/matita-doc/html/tac_case.html text/xml root:root 0o644 3.1 KB
/usr/share/doc/matita-doc/html/tac_cases.html text/xml root:root 0o644 3.8 KB
/usr/share/doc/matita-doc/html/tac_change.html text/xml root:root 0o644 3.2 KB
/usr/share/doc/matita-doc/html/tac_clearbody.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/tac_clear.html text/xml root:root 0o644 2.9 KB
/usr/share/doc/matita-doc/html/tac_compose.html text/xml root:root 0o644 4.1 KB
/usr/share/doc/matita-doc/html/tac_constructor.html text/xml root:root 0o644 3.1 KB
/usr/share/doc/matita-doc/html/tac_contradiction.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/tac_cut.html text/xml root:root 0o644 3.2 KB
/usr/share/doc/matita-doc/html/tac_decompose.html text/xml root:root 0o644 3.3 KB
/usr/share/doc/matita-doc/html/tac_demodulate.html text/xml root:root 0o644 2.6 KB
/usr/share/doc/matita-doc/html/tac_destruct.html text/xml root:root 0o644 3.2 KB
/usr/share/doc/matita-doc/html/tac_elim.html text/xml root:root 0o644 4.1 KB
/usr/share/doc/matita-doc/html/tac_elimType.html text/xml root:root 0o644 2.8 KB
/usr/share/doc/matita-doc/html/tac_exact.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/tac_exists.html text/xml root:root 0o644 2.8 KB
/usr/share/doc/matita-doc/html/tac_exitselim.html text/xml root:root 0o644 3.5 KB
/usr/share/doc/matita-doc/html/tac_fail.html text/xml root:root 0o644 2.4 KB
/usr/share/doc/matita-doc/html/tac_fold.html text/xml root:root 0o644 3.2 KB
/usr/share/doc/matita-doc/html/tac_fourier.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/tac_fwd.html text/xml root:root 0o644 3.8 KB
/usr/share/doc/matita-doc/html/tac_generalize.html text/xml root:root 0o644 3.6 KB
/usr/share/doc/matita-doc/html/tac_id.html text/xml root:root 0o644 2.4 KB
/usr/share/doc/matita-doc/html/tac_intro.html text/xml root:root 0o644 3.0 KB
/usr/share/doc/matita-doc/html/tac_intros.html text/xml root:root 0o644 3.3 KB
/usr/share/doc/matita-doc/html/tac_inversion.html text/xml root:root 0o644 3.2 KB
/usr/share/doc/matita-doc/html/tac_lapply.html text/xml root:root 0o644 4.9 KB
/usr/share/doc/matita-doc/html/tac_left.html text/xml root:root 0o644 2.8 KB
/usr/share/doc/matita-doc/html/tac_letin.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/tac_normalize.html text/xml root:root 0o644 2.6 KB
/usr/share/doc/matita-doc/html/tac_obtain.html text/xml root:root 0o644 3.9 KB
/usr/share/doc/matita-doc/html/tac_reflexivity.html text/xml root:root 0o644 2.6 KB
/usr/share/doc/matita-doc/html/tac_replace.html text/xml root:root 0o644 3.2 KB
/usr/share/doc/matita-doc/html/tac_rewrite.html text/xml root:root 0o644 3.4 KB
/usr/share/doc/matita-doc/html/tac_right.html text/xml root:root 0o644 2.8 KB
/usr/share/doc/matita-doc/html/tac_ring.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/tac_simplify.html text/xml root:root 0o644 2.6 KB
/usr/share/doc/matita-doc/html/tac_split.html text/xml root:root 0o644 2.8 KB
/usr/share/doc/matita-doc/html/tac_subst.html text/xml root:root 0o644 3.0 KB
/usr/share/doc/matita-doc/html/tac_suppose.html text/xml root:root 0o644 3.5 KB
/usr/share/doc/matita-doc/html/tac_symmetry.html text/xml root:root 0o644 2.6 KB
/usr/share/doc/matita-doc/html/tac_thesisbecomes.html text/xml root:root 0o644 2.8 KB
/usr/share/doc/matita-doc/html/tacticals.html text/xml root:root 0o644 12.1 KB
/usr/share/doc/matita-doc/html/tacticargs.html text/xml root:root 0o644 18.3 KB
/usr/share/doc/matita-doc/html/tac_transitivity.html text/xml root:root 0o644 3.0 KB
/usr/share/doc/matita-doc/html/tac_unfold.html text/xml root:root 0o644 3.1 KB
/usr/share/doc/matita-doc/html/tac_weneedtoprove.html text/xml root:root 0o644 3.6 KB
/usr/share/doc/matita-doc/html/tac_weproceedbycases.html text/xml root:root 0o644 3.2 KB
/usr/share/doc/matita-doc/html/tac_weproceedbyinduction.html text/xml root:root 0o644 3.3 KB
/usr/share/doc/matita-doc/html/tac_whd.html text/xml root:root 0o644 2.7 KB
/usr/share/doc/matita-doc/html/WrtCoq.html text/xml root:root 0o644 3.9 KB
/usr/share/doc/matita-doc/pdf/ root:root 0o755
/usr/share/doc/matita-doc/pdf/matita.pdf application/pdf root:root 0o644 941.3 KB