/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
|