matita-doc 0.5.8-3build1 in ubuntu - precise / universe

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

Package Contents

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