Liste der Dateien in Paket matita in squeeze für Architektur mips

/usr/bin/matita
/usr/bin/matitac
/usr/bin/matitaclean
/usr/bin/matitadep
/usr/share/doc/matita/AUTHORS
/usr/share/doc/matita/BUGS
/usr/share/doc/matita/changelog.Debian.gz
/usr/share/doc/matita/changelog.gz
/usr/share/doc/matita/copyright
/usr/share/man/man1/matitac.1.gz
/usr/share/man/man1/matitaclean.1.gz
/usr/share/man/man1/matitadep.1.gz
/usr/share/matita/AUTHORS
/usr/share/matita/LICENSE
/usr/share/matita/closed.xml
/usr/share/matita/core_notation.moo
/usr/share/matita/gtkmathview.matita.conf.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/ma/new-standard-library/Makefile
/usr/share/matita/ma/new-standard-library/algebra/abelian_magmas.ma
/usr/share/matita/ma/new-standard-library/algebra/bool.ma
/usr/share/matita/ma/new-standard-library/algebra/magmas.ma
/usr/share/matita/ma/new-standard-library/algebra/unital_magmas.ma
/usr/share/matita/ma/new-standard-library/datatypes/bool.ma
/usr/share/matita/ma/new-standard-library/datatypes/pairs.ma
/usr/share/matita/ma/new-standard-library/depends
/usr/share/matita/ma/new-standard-library/depends.dot
/usr/share/matita/ma/new-standard-library/depends.png
/usr/share/matita/ma/new-standard-library/hints_declaration.ma
/usr/share/matita/ma/new-standard-library/logic/connectives.ma
/usr/share/matita/ma/new-standard-library/logic/cprop.ma
/usr/share/matita/ma/new-standard-library/logic/destruct_bb.ma
/usr/share/matita/ma/new-standard-library/logic/equality.ma
/usr/share/matita/ma/new-standard-library/logic/pts.ma
/usr/share/matita/ma/new-standard-library/nat/big_ops.ma
/usr/share/matita/ma/new-standard-library/nat/compare.ma
/usr/share/matita/ma/new-standard-library/nat/minus.ma
/usr/share/matita/ma/new-standard-library/nat/nat.ma
/usr/share/matita/ma/new-standard-library/nat/order.ma
/usr/share/matita/ma/new-standard-library/nat/plus.ma
/usr/share/matita/ma/new-standard-library/properties/relations.ma
/usr/share/matita/ma/new-standard-library/properties/relations1.ma
/usr/share/matita/ma/new-standard-library/root
/usr/share/matita/ma/new-standard-library/sets/partitions.ma
/usr/share/matita/ma/new-standard-library/sets/setoids.ma
/usr/share/matita/ma/new-standard-library/sets/setoids1.ma
/usr/share/matita/ma/new-standard-library/sets/sets.ma
/usr/share/matita/ma/new-standard-library/topology/Makefile
/usr/share/matita/ma/new-standard-library/topology/cantor.ma
/usr/share/matita/ma/new-standard-library/topology/convert.awk
/usr/share/matita/ma/new-standard-library/topology/grafite.lang
/usr/share/matita/ma/new-standard-library/topology/igft-CIC-universes.svg
/usr/share/matita/ma/new-standard-library/topology/igft-minimality-CIC.svg
/usr/share/matita/ma/new-standard-library/topology/igft-setoid.ma
/usr/share/matita/ma/new-standard-library/topology/igft.ma
/usr/share/matita/ma/new-standard-library/topology/igft2.ma
/usr/share/matita/ma/new-standard-library/topology/postamble.xml
/usr/share/matita/ma/new-standard-library/topology/preamble.xml
/usr/share/matita/ma/new-standard-library/topology/sh_gedit.css
/usr/share/matita/ma/new-standard-library/topology/sh_grafite.js
/usr/share/matita/ma/new-standard-library/topology/sh_main.js
/usr/share/matita/ma/standard-library/Makefile
/usr/share/matita/ma/standard-library/Q/Qaxioms.ma
/usr/share/matita/ma/standard-library/Q/frac.ma
/usr/share/matita/ma/standard-library/Q/fraction/finv.ma
/usr/share/matita/ma/standard-library/Q/fraction/fraction.ma
/usr/share/matita/ma/standard-library/Q/fraction/ftimes.ma
/usr/share/matita/ma/standard-library/Q/fraction/numerator_denominator.ma
/usr/share/matita/ma/standard-library/Q/inv.ma
/usr/share/matita/ma/standard-library/Q/nat_fact/times.ma
/usr/share/matita/ma/standard-library/Q/q.ma
/usr/share/matita/ma/standard-library/Q/q/q.ma
/usr/share/matita/ma/standard-library/Q/q/qinv.ma
/usr/share/matita/ma/standard-library/Q/q/qplus.ma
/usr/share/matita/ma/standard-library/Q/q/qtimes.ma
/usr/share/matita/ma/standard-library/Q/ratio/ratio.ma
/usr/share/matita/ma/standard-library/Q/ratio/rinv.ma
/usr/share/matita/ma/standard-library/Q/ratio/rtimes.ma
/usr/share/matita/ma/standard-library/R/Rexp.ma
/usr/share/matita/ma/standard-library/R/Rlog.ma
/usr/share/matita/ma/standard-library/R/r.ma
/usr/share/matita/ma/standard-library/R/root.ma
/usr/share/matita/ma/standard-library/Z/compare.ma
/usr/share/matita/ma/standard-library/Z/dirichlet_product.ma
/usr/share/matita/ma/standard-library/Z/inversion.ma
/usr/share/matita/ma/standard-library/Z/moebius.ma
/usr/share/matita/ma/standard-library/Z/orders.ma
/usr/share/matita/ma/standard-library/Z/plus.ma
/usr/share/matita/ma/standard-library/Z/sigma_p.ma
/usr/share/matita/ma/standard-library/Z/times.ma
/usr/share/matita/ma/standard-library/Z/z.ma
/usr/share/matita/ma/standard-library/algebra/finite_groups.ma
/usr/share/matita/ma/standard-library/algebra/groups.ma
/usr/share/matita/ma/standard-library/algebra/monoids.ma
/usr/share/matita/ma/standard-library/algebra/semigroups.ma
/usr/share/matita/ma/standard-library/dama/bishop_set.ma
/usr/share/matita/ma/standard-library/dama/bishop_set_rewrite.ma
/usr/share/matita/ma/standard-library/dama/lebesgue.ma
/usr/share/matita/ma/standard-library/dama/models/discrete_uniformity.ma
/usr/share/matita/ma/standard-library/dama/models/increasing_supremum_stabilizes.ma
/usr/share/matita/ma/standard-library/dama/models/nat_lebesgue.ma
/usr/share/matita/ma/standard-library/dama/models/nat_order_continuous.ma
/usr/share/matita/ma/standard-library/dama/models/nat_ordered_uniform.ma
/usr/share/matita/ma/standard-library/dama/models/nat_uniform.ma
/usr/share/matita/ma/standard-library/dama/nat_ordered_set.ma
/usr/share/matita/ma/standard-library/dama/ordered_set.ma
/usr/share/matita/ma/standard-library/dama/ordered_uniform.ma
/usr/share/matita/ma/standard-library/dama/property_exhaustivity.ma
/usr/share/matita/ma/standard-library/dama/property_sigma.ma
/usr/share/matita/ma/standard-library/dama/russell_support.ma
/usr/share/matita/ma/standard-library/dama/sandwich.ma
/usr/share/matita/ma/standard-library/dama/sequence.ma
/usr/share/matita/ma/standard-library/dama/supremum.ma
/usr/share/matita/ma/standard-library/dama/uniform.ma
/usr/share/matita/ma/standard-library/datatypes/bool.ma
/usr/share/matita/ma/standard-library/datatypes/categories.ma
/usr/share/matita/ma/standard-library/datatypes/compare.ma
/usr/share/matita/ma/standard-library/datatypes/constructors.ma
/usr/share/matita/ma/standard-library/datatypes/subsets.ma
/usr/share/matita/ma/standard-library/decidable_kit/decidable.ma
/usr/share/matita/ma/standard-library/decidable_kit/eqtype.ma
/usr/share/matita/ma/standard-library/decidable_kit/fgraph.ma
/usr/share/matita/ma/standard-library/decidable_kit/fintype.ma
/usr/share/matita/ma/standard-library/decidable_kit/list_aux.ma
/usr/share/matita/ma/standard-library/decidable_kit/streicher.ma
/usr/share/matita/ma/standard-library/demo/cantor.ma
/usr/share/matita/ma/standard-library/demo/formal_topology.ma
/usr/share/matita/ma/standard-library/demo/natural_deduction.ma
/usr/share/matita/ma/standard-library/demo/power_derivative.ma
/usr/share/matita/ma/standard-library/demo/propositional_sequent_calculus.ma
/usr/share/matita/ma/standard-library/demo/realisability.ma
/usr/share/matita/ma/standard-library/demo/toolbox.ma
/usr/share/matita/ma/standard-library/depends
/usr/share/matita/ma/standard-library/didactic/exercises/Makefile
/usr/share/matita/ma/standard-library/didactic/exercises/duality.ma
/usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction.ma
/usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction1.ma
/usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_fst_order.ma
/usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_theories.ma
/usr/share/matita/ma/standard-library/didactic/exercises/shannon.ma
/usr/share/matita/ma/standard-library/didactic/exercises/substitution.ma
/usr/share/matita/ma/standard-library/didactic/support/natural_deduction.ma
/usr/share/matita/ma/standard-library/formal_topology/basic_pairs.ma.dontcompile
/usr/share/matita/ma/standard-library/formal_topology/basic_topologies.ma.dontcompile
/usr/share/matita/ma/standard-library/formal_topology/concrete_spaces.ma.dontcompile
/usr/share/matita/ma/standard-library/formal_topology/formal_topologies.ma.dontcompile
/usr/share/matita/ma/standard-library/formal_topology/relations.ma.dontcompile
/usr/share/matita/ma/standard-library/formal_topology/saturations_reductions.ma.dontcompile
/usr/share/matita/ma/standard-library/higher_order_defs/functions.ma
/usr/share/matita/ma/standard-library/higher_order_defs/ordering.ma
/usr/share/matita/ma/standard-library/higher_order_defs/relations.ma
/usr/share/matita/ma/standard-library/list/in.ma
/usr/share/matita/ma/standard-library/list/list.ma
/usr/share/matita/ma/standard-library/list/sort.ma
/usr/share/matita/ma/standard-library/logic/coimplication.ma
/usr/share/matita/ma/standard-library/logic/connectives.ma
/usr/share/matita/ma/standard-library/logic/connectives2.ma
/usr/share/matita/ma/standard-library/logic/cprop_connectives.ma
/usr/share/matita/ma/standard-library/logic/equality.ma
/usr/share/matita/ma/standard-library/nat/bertrand.ma
/usr/share/matita/ma/standard-library/nat/binomial.ma
/usr/share/matita/ma/standard-library/nat/chebyshev.ma
/usr/share/matita/ma/standard-library/nat/chebyshev_teta.ma
/usr/share/matita/ma/standard-library/nat/chebyshev_thm.ma
/usr/share/matita/ma/standard-library/nat/chinese_reminder.ma
/usr/share/matita/ma/standard-library/nat/compare.ma
/usr/share/matita/ma/standard-library/nat/congruence.ma
/usr/share/matita/ma/standard-library/nat/count.ma
/usr/share/matita/ma/standard-library/nat/div_and_mod.ma
/usr/share/matita/ma/standard-library/nat/div_and_mod_diseq.ma
/usr/share/matita/ma/standard-library/nat/div_and_mod_new.ma.dontcompile
/usr/share/matita/ma/standard-library/nat/euler_theorem.ma
/usr/share/matita/ma/standard-library/nat/exp.ma
/usr/share/matita/ma/standard-library/nat/factorial.ma
/usr/share/matita/ma/standard-library/nat/factorial2.ma
/usr/share/matita/ma/standard-library/nat/factorization.ma
/usr/share/matita/ma/standard-library/nat/factorization2.ma
/usr/share/matita/ma/standard-library/nat/fermat_little_theorem.ma
/usr/share/matita/ma/standard-library/nat/gcd.ma
/usr/share/matita/ma/standard-library/nat/gcd_properties1.ma
/usr/share/matita/ma/standard-library/nat/generic_iter_p.ma
/usr/share/matita/ma/standard-library/nat/iteration2.ma
/usr/share/matita/ma/standard-library/nat/le_arith.ma
/usr/share/matita/ma/standard-library/nat/log.ma
/usr/share/matita/ma/standard-library/nat/lt_arith.ma
/usr/share/matita/ma/standard-library/nat/map_iter_p.ma
/usr/share/matita/ma/standard-library/nat/minimization.ma
/usr/share/matita/ma/standard-library/nat/minus.ma
/usr/share/matita/ma/standard-library/nat/nat.ma
/usr/share/matita/ma/standard-library/nat/neper.ma
/usr/share/matita/ma/standard-library/nat/nth_prime.ma
/usr/share/matita/ma/standard-library/nat/o.ma
/usr/share/matita/ma/standard-library/nat/ord.ma
/usr/share/matita/ma/standard-library/nat/orders.ma
/usr/share/matita/ma/standard-library/nat/permutation.ma
/usr/share/matita/ma/standard-library/nat/pi_p.ma
/usr/share/matita/ma/standard-library/nat/plus.ma
/usr/share/matita/ma/standard-library/nat/primes.ma
/usr/share/matita/ma/standard-library/nat/relevant_equations.ma
/usr/share/matita/ma/standard-library/nat/sieve.ma
/usr/share/matita/ma/standard-library/nat/sigma_and_pi.ma
/usr/share/matita/ma/standard-library/nat/sqrt.ma
/usr/share/matita/ma/standard-library/nat/times.ma
/usr/share/matita/ma/standard-library/nat/totient.ma
/usr/share/matita/ma/standard-library/nat/totient1.ma
/usr/share/matita/ma/standard-library/root
/usr/share/matita/ma/standard-library/technicalities/setoids.ma
/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