Filelist of package matita in wheezy of architecture armel

/usr/bin/matita
/usr/bin/matita.opt
/usr/bin/matitac
/usr/bin/matitac.opt
/usr/bin/matitaclean
/usr/share/applications/matita.desktop
/usr/share/doc/matita/changelog.Debian.gz
/usr/share/doc/matita/copyright
/usr/share/man/man1/matitac.1.gz
/usr/share/man/man1/matitac.opt.1.gz
/usr/share/man/man1/matitaclean.1.gz
/usr/share/matita/AUTHORS
/usr/share/matita/LICENSE
/usr/share/matita/closed.xml
/usr/share/matita/help/C/Makefile
/usr/share/matita/help/C/TODO
/usr/share/matita/help/C/declarative_tactics_quickref.xml
/usr/share/matita/help/C/docbook.css
/usr/share/matita/help/C/figures/database.dia
/usr/share/matita/help/C/figures/database.png
/usr/share/matita/help/C/figures/matita.png
/usr/share/matita/help/C/figures/vbox1.png
/usr/share/matita/help/C/figures/vbox2.png
/usr/share/matita/help/C/figures/vbox3.png
/usr/share/matita/help/C/figures/vbox35.png
/usr/share/matita/help/C/figures/vbox4.png
/usr/share/matita/help/C/figures/vbox5.png
/usr/share/matita/help/C/figures/vbox6.png
/usr/share/matita/help/C/figures/vbox7.png
/usr/share/matita/help/C/legal.xml
/usr/share/matita/help/C/matita.xml
/usr/share/matita/help/C/scripts/fix-symbols.sh
/usr/share/matita/help/C/sec_commands.xml
/usr/share/matita/help/C/sec_declarative_tactics.xml
/usr/share/matita/help/C/sec_gettingstarted.xml
/usr/share/matita/help/C/sec_install.xml
/usr/share/matita/help/C/sec_intro.xml
/usr/share/matita/help/C/sec_license.xml
/usr/share/matita/help/C/sec_tacticals.xml
/usr/share/matita/help/C/sec_tactics.xml
/usr/share/matita/help/C/sec_terms.xml
/usr/share/matita/help/C/sec_usernotation.xml
/usr/share/matita/help/C/tactic_quickref.xml
/usr/share/matita/help/C/tactics_quickref.xml
/usr/share/matita/help/C/version.txt
/usr/share/matita/help/C/version.txt.in
/usr/share/matita/help/C/xhtml1-transitional.dtd
/usr/share/matita/help/C/xsl/matita-fo.xsl
/usr/share/matita/help/C/xsl/matita-xhtml.xsl
/usr/share/matita/help/C/xsl/tactic_quickref.xsl
/usr/share/matita/icons/matita-32.xpm
/usr/share/matita/icons/matita-bulb-high.png
/usr/share/matita/icons/matita-bulb-low.png
/usr/share/matita/icons/matita-bulb-medium.png
/usr/share/matita/icons/matita-folder.png
/usr/share/matita/icons/matita-object.png
/usr/share/matita/icons/matita-theory.png
/usr/share/matita/icons/matita.png
/usr/share/matita/icons/matita_medium.png
/usr/share/matita/icons/matita_small.png
/usr/share/matita/icons/matita_very_small.png
/usr/share/matita/icons/meegg.png
/usr/share/matita/icons/whelp.png
/usr/share/matita/icons/whelp.svg
/usr/share/matita/lib/arithmetics/bigops.ma
/usr/share/matita/lib/arithmetics/binomial.ma
/usr/share/matita/lib/arithmetics/chinese_reminder.ma
/usr/share/matita/lib/arithmetics/congruence.ma
/usr/share/matita/lib/arithmetics/div_and_mod.ma
/usr/share/matita/lib/arithmetics/exp.ma
/usr/share/matita/lib/arithmetics/factorial.ma
/usr/share/matita/lib/arithmetics/gcd.ma
/usr/share/matita/lib/arithmetics/log.ma
/usr/share/matita/lib/arithmetics/minimization.ma
/usr/share/matita/lib/arithmetics/nat.ma
/usr/share/matita/lib/arithmetics/nat_commented.ma
/usr/share/matita/lib/arithmetics/nth_prime.ma
/usr/share/matita/lib/arithmetics/primes.ma
/usr/share/matita/lib/arithmetics/sigma_pi.ma
/usr/share/matita/lib/basics/bool.ma
/usr/share/matita/lib/basics/core_notation.ma
/usr/share/matita/lib/basics/deqsets.ma
/usr/share/matita/lib/basics/jmeq.ma
/usr/share/matita/lib/basics/lists/list.ma
/usr/share/matita/lib/basics/lists/listb.ma
/usr/share/matita/lib/basics/logic.ma
/usr/share/matita/lib/basics/pts.ma
/usr/share/matita/lib/basics/relations.ma
/usr/share/matita/lib/basics/russell.ma
/usr/share/matita/lib/basics/sets.ma
/usr/share/matita/lib/basics/star.ma
/usr/share/matita/lib/basics/types.ma
/usr/share/matita/lib/formal_topology/apply_functor.ma
/usr/share/matita/lib/formal_topology/basic_pairs.ma
/usr/share/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma
/usr/share/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma
/usr/share/matita/lib/formal_topology/basic_topologies.ma
/usr/share/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma
/usr/share/matita/lib/formal_topology/categories.ma
/usr/share/matita/lib/formal_topology/concrete_spaces.ma
/usr/share/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma
/usr/share/matita/lib/formal_topology/cprop_connectives.ma
/usr/share/matita/lib/formal_topology/formal_topologies.ma
/usr/share/matita/lib/formal_topology/notation.ma
/usr/share/matita/lib/formal_topology/o-algebra.ma
/usr/share/matita/lib/formal_topology/o-basic_pairs.ma
/usr/share/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma
/usr/share/matita/lib/formal_topology/o-basic_topologies.ma
/usr/share/matita/lib/formal_topology/o-concrete_spaces.ma
/usr/share/matita/lib/formal_topology/o-formal_topologies.ma
/usr/share/matita/lib/formal_topology/o-saturations.ma
/usr/share/matita/lib/formal_topology/r-o-basic_pairs.ma
/usr/share/matita/lib/formal_topology/relations.ma
/usr/share/matita/lib/formal_topology/relations_to_o-algebra.ma
/usr/share/matita/lib/formal_topology/replace.sh
/usr/share/matita/lib/formal_topology/saturations.ma
/usr/share/matita/lib/formal_topology/saturations_to_o-saturations.ma
/usr/share/matita/lib/formal_topology/subsets.ma
/usr/share/matita/lib/hints_declaration.ma
/usr/share/matita/lib/lambda/CC2FO_K.ma
/usr/share/matita/lib/lambda/CC2FO_K_cube.ma
/usr/share/matita/lib/lambda/arity.ma
/usr/share/matita/lib/lambda/arity_eval.ma
/usr/share/matita/lib/lambda/convertibility.ma
/usr/share/matita/lib/lambda/cube.ma
/usr/share/matita/lib/lambda/degree.ma
/usr/share/matita/lib/lambda/ext.ma
/usr/share/matita/lib/lambda/ext_lambda.ma
/usr/share/matita/lib/lambda/inversion.ma
/usr/share/matita/lib/lambda/lambda_notation.ma
/usr/share/matita/lib/lambda/lift.ma
/usr/share/matita/lib/lambda/par_reduction.ma
/usr/share/matita/lib/lambda/rc_eval.ma
/usr/share/matita/lib/lambda/rc_hsat.ma
/usr/share/matita/lib/lambda/rc_sat.ma
/usr/share/matita/lib/lambda/reduction.ma
/usr/share/matita/lib/lambda/sn.ma
/usr/share/matita/lib/lambda/subject.ma
/usr/share/matita/lib/lambda/subst.ma
/usr/share/matita/lib/lambda/subterms.ma
/usr/share/matita/lib/lambda/terms.ma
/usr/share/matita/lib/lambda/types.ma
/usr/share/matita/lib/lambdaN/arity.ma
/usr/share/matita/lib/lambdaN/arity_eval.ma
/usr/share/matita/lib/lambdaN/convertibility.ma
/usr/share/matita/lib/lambdaN/cube.ma
/usr/share/matita/lib/lambdaN/ext.ma
/usr/share/matita/lib/lambdaN/ext_lambda.ma
/usr/share/matita/lib/lambdaN/inversion.ma
/usr/share/matita/lib/lambdaN/lambda_notation.ma
/usr/share/matita/lib/lambdaN/par_reduction.ma
/usr/share/matita/lib/lambdaN/rc_eval.ma
/usr/share/matita/lib/lambdaN/rc_hsat.ma
/usr/share/matita/lib/lambdaN/rc_sat.ma
/usr/share/matita/lib/lambdaN/reduction.ma
/usr/share/matita/lib/lambdaN/sn.ma
/usr/share/matita/lib/lambdaN/subject.ma
/usr/share/matita/lib/lambdaN/subst.ma
/usr/share/matita/lib/lambdaN/subterms.ma
/usr/share/matita/lib/lambdaN/terms.ma
/usr/share/matita/lib/lambdaN/thinning.ma
/usr/share/matita/lib/lambdaN/types.ma
/usr/share/matita/lib/re/lang.ma
/usr/share/matita/lib/re/moves.ma
/usr/share/matita/lib/re/re.ma
/usr/share/matita/lib/re/reb.ma
/usr/share/matita/lib/root
/usr/share/matita/matita.conf.xml
/usr/share/matita/matita.gtkrc
/usr/share/matita/matita.lang
/usr/share/matita/matita.ma.templ
/usr/share/menu/matita