matita 0.5.8-3build1 in ubuntu - precise / universe

About

This package is 5.7 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/m/matita/matita_0.5.8-3build1_amd64.deb .

View its full control file here: debian/control.

Description

interactive theorem prover

Relations

This package depends on: libc6 (>= 2.11), libexpat1 (>= 1.95.8), libgdk-pixbuf2.0-0 (>= 2.22.0), libgdome2-0, libglade2-0 (>= 1:2.6.1), libglib2.0-0 (>= 2.24.0), libgtk2.0-0 (>= 2.12.0), libgtkmathview0c2a, libgtksourceview2.0-0 (>= 2.10.0), libmysqlclient18 (>= 5.5.13-1), libpango1.0-0 (>= 1.14.0), libpcre3 (>= 8.10), libsqlite3-0 (>= 3.5.9), zlib1g (>= 1:1.1.4).

This package recommends: graphviz, yelp.

This package suggests: matita-doc.

This package conflicts with: matita-standard-library.

Package Contents

This package is indexed.

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

File Mime Type Owner Mode Size
postinst text/x-shellscript N/A N/A 185 bytes
postrm text/x-shellscript N/A N/A 160 bytes
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/matita root:root 0o777
/usr/bin/matitac root:root 0o777
/usr/bin/matitaclean root:root 0o777
/usr/bin/matitac.opt application/x-executable root:root 0o755 6.5 MB
/usr/bin/matitadep root:root 0o777
/usr/bin/matita.opt application/x-executable root:root 0o755 9.1 MB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/matita/ root:root 0o755
/usr/share/doc/matita/AUTHORS text/plain root:root 0o644 232 bytes
/usr/share/doc/matita/BUGS text/plain root:root 0o644 106 bytes
/usr/share/doc/matita/changelog.Debian.gz application/gzip root:root 0o644 1.1 KB
/usr/share/doc/matita/copyright text/plain root:root 0o644 1.0 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/matitac.1.gz application/gzip root:root 0o644 678 bytes
/usr/share/man/man1/matitaclean.1.gz application/gzip root:root 0o644 685 bytes
/usr/share/man/man1/matitac.opt.1.gz root:root 0o777
/usr/share/man/man1/matitadep.1.gz application/gzip root:root 0o644 763 bytes
/usr/share/matita/ root:root 0o755
/usr/share/matita/AUTHORS text/plain root:root 0o644 232 bytes
/usr/share/matita/closed.xml text/xml root:root 0o644 467 bytes
/usr/share/matita/core_notation.moo text/plain root:root 0o644 8.7 KB
/usr/share/matita/gtkmathview.matita.conf.xml text/xml root:root 0o644 762 bytes
/usr/share/matita/help/ root:root 0o755
/usr/share/matita/help/C/ root:root 0o755
/usr/share/matita/help/C/declarative_tactics_quickref.xml text/html root:root 0o644 5.4 KB
/usr/share/matita/help/C/docbook.css text/plain root:root 0o644 646 bytes
/usr/share/matita/help/C/figures/ root:root 0o755
/usr/share/matita/help/C/figures/database.dia application/gzip root:root 0o644 5.4 KB
/usr/share/matita/help/C/figures/database.png image/png root:root 0o644 6.6 KB
/usr/share/matita/help/C/figures/matita.png image/png root:root 0o644 3.0 KB
/usr/share/matita/help/C/figures/vbox1.png image/png root:root 0o644 56.1 KB
/usr/share/matita/help/C/figures/vbox2.png image/png root:root 0o644 30.8 KB
/usr/share/matita/help/C/figures/vbox35.png image/png root:root 0o644 21.7 KB
/usr/share/matita/help/C/figures/vbox3.png image/png root:root 0o644 17.6 KB
/usr/share/matita/help/C/figures/vbox4.png image/png root:root 0o644 33.0 KB
/usr/share/matita/help/C/figures/vbox5.png image/png root:root 0o644 30.6 KB
/usr/share/matita/help/C/figures/vbox6.png image/png root:root 0o644 4.9 KB
/usr/share/matita/help/C/figures/vbox7.png image/png root:root 0o644 163.6 KB
/usr/share/matita/help/C/legal.xml text/plain root:root 0o644 1.0 KB
/usr/share/matita/help/C/Makefile text/x-makefile root:root 0o644 1.3 KB
/usr/share/matita/help/C/matita.xml text/xml root:root 0o644 8.1 KB
/usr/share/matita/help/C/scripts/ root:root 0o755
/usr/share/matita/help/C/scripts/fix-symbols.sh text/x-shellscript root:root 0o755 123 bytes
/usr/share/matita/help/C/sec_commands.xml text/html root:root 0o644 22.8 KB
/usr/share/matita/help/C/sec_declarative_tactics.xml text/html root:root 0o644 16.1 KB
/usr/share/matita/help/C/sec_gettingstarted.xml text/html root:root 0o644 7.0 KB
/usr/share/matita/help/C/sec_install.xml text/html root:root 0o644 23.3 KB
/usr/share/matita/help/C/sec_intro.xml text/html root:root 0o644 4.0 KB
/usr/share/matita/help/C/sec_license.xml text/html root:root 0o644 149 bytes
/usr/share/matita/help/C/sec_tacticals.xml text/html root:root 0o644 11.7 KB
/usr/share/matita/help/C/sec_tactics.xml text/html root:root 0o644 61.7 KB
/usr/share/matita/help/C/sec_terms.xml text/html root:root 0o644 32.8 KB
/usr/share/matita/help/C/sec_usernotation.xml text/html root:root 0o644 20.1 KB
/usr/share/matita/help/C/tactic_quickref.xml text/html root:root 0o644 151 bytes
/usr/share/matita/help/C/tactics_quickref.xml text/html root:root 0o644 12.7 KB
/usr/share/matita/help/C/TODO text/plain root:root 0o644 373 bytes
/usr/share/matita/help/C/version.txt text/plain root:root 0o644 6 bytes
/usr/share/matita/help/C/version.txt.in text/plain root:root 0o644 17 bytes
/usr/share/matita/help/C/xhtml1-transitional.dtd text/plain root:root 0o644 60.4 KB
/usr/share/matita/help/C/xsl/ root:root 0o755
/usr/share/matita/help/C/xsl/matita-fo.xsl text/xml root:root 0o644 285 bytes
/usr/share/matita/help/C/xsl/matita-xhtml.xsl text/xml root:root 0o644 2.2 KB
/usr/share/matita/help/C/xsl/tactic_quickref.xsl text/html root:root 0o644 1.8 KB
/usr/share/matita/icons/ root:root 0o755
/usr/share/matita/icons/matita-32.xpm image/x-xpmi root:root 0o644 1.7 KB
/usr/share/matita/icons/matita-bulb-high.png image/png root:root 0o644 1.1 KB
/usr/share/matita/icons/matita-bulb-low.png image/png root:root 0o644 1.0 KB
/usr/share/matita/icons/matita-bulb-medium.png image/png root:root 0o644 1.2 KB
/usr/share/matita/icons/matita-folder.png image/png root:root 0o644 706 bytes
/usr/share/matita/icons/matita_medium.png image/png root:root 0o644 9.8 KB
/usr/share/matita/icons/matita-object.png image/png root:root 0o644 877 bytes
/usr/share/matita/icons/matita.png image/png root:root 0o644 14.7 KB
/usr/share/matita/icons/matita_small.png image/png root:root 0o644 3.8 KB
/usr/share/matita/icons/matita-theory.png image/png root:root 0o644 1.3 KB
/usr/share/matita/icons/matita_very_small.png image/png root:root 0o644 3.0 KB
/usr/share/matita/icons/meegg.png image/png root:root 0o644 152.0 KB
/usr/share/matita/icons/whelp.png image/png root:root 0o644 973 bytes
/usr/share/matita/icons/whelp.svg image/svg+xml root:root 0o644 10.8 KB
/usr/share/matita/LICENSE text/plain root:root 0o644 916 bytes
/usr/share/matita/ma/ root:root 0o755
/usr/share/matita/ma/new-standard-library/ root:root 0o755
/usr/share/matita/ma/new-standard-library/algebra/ root:root 0o755
/usr/share/matita/ma/new-standard-library/algebra/abelian_magmas.ma text/plain root:root 0o644 1.1 KB
/usr/share/matita/ma/new-standard-library/algebra/bool.ma text/plain root:root 0o644 3.9 KB
/usr/share/matita/ma/new-standard-library/algebra/magmas.ma text/plain root:root 0o644 3.1 KB
/usr/share/matita/ma/new-standard-library/algebra/unital_magmas.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/new-standard-library/datatypes/ root:root 0o755
/usr/share/matita/ma/new-standard-library/datatypes/bool.ma text/plain root:root 0o644 1.1 KB
/usr/share/matita/ma/new-standard-library/datatypes/pairs.ma text/plain root:root 0o644 1.1 KB
/usr/share/matita/ma/new-standard-library/depends text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/new-standard-library/depends.dot text/plain root:root 0o644 3.0 KB
/usr/share/matita/ma/new-standard-library/depends.png image/png root:root 0o644 119.0 KB
/usr/share/matita/ma/new-standard-library/hints_declaration.ma text/plain root:root 0o644 3.4 KB
/usr/share/matita/ma/new-standard-library/logic/ root:root 0o755
/usr/share/matita/ma/new-standard-library/logic/connectives.ma text/plain root:root 0o644 2.2 KB
/usr/share/matita/ma/new-standard-library/logic/cprop.ma text/plain root:root 0o644 3.2 KB
/usr/share/matita/ma/new-standard-library/logic/destruct_bb.ma text/plain root:root 0o644 2.0 KB
/usr/share/matita/ma/new-standard-library/logic/equality.ma text/plain root:root 0o644 4.9 KB
/usr/share/matita/ma/new-standard-library/logic/pts.ma text/plain root:root 0o644 1.1 KB
/usr/share/matita/ma/new-standard-library/Makefile text/plain root:root 0o644 268 bytes
/usr/share/matita/ma/new-standard-library/nat/ root:root 0o755
/usr/share/matita/ma/new-standard-library/nat/big_ops.ma text/plain root:root 0o644 1.4 KB
/usr/share/matita/ma/new-standard-library/nat/compare.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/new-standard-library/nat/minus.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/new-standard-library/nat/nat.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/new-standard-library/nat/order.ma text/plain root:root 0o644 2.1 KB
/usr/share/matita/ma/new-standard-library/nat/plus.ma text/plain root:root 0o644 2.3 KB
/usr/share/matita/ma/new-standard-library/properties/ root:root 0o755
/usr/share/matita/ma/new-standard-library/properties/relations1.ma text/plain root:root 0o644 1.5 KB
/usr/share/matita/ma/new-standard-library/properties/relations.ma text/plain root:root 0o644 1.4 KB
/usr/share/matita/ma/new-standard-library/root text/plain root:root 0o644 23 bytes
/usr/share/matita/ma/new-standard-library/sets/ root:root 0o755
/usr/share/matita/ma/new-standard-library/sets/partitions.ma text/plain root:root 0o644 9.5 KB
/usr/share/matita/ma/new-standard-library/sets/setoids1.ma text/plain root:root 0o644 2.7 KB
/usr/share/matita/ma/new-standard-library/sets/setoids.ma text/plain root:root 0o644 2.4 KB
/usr/share/matita/ma/new-standard-library/sets/sets.ma text/plain root:root 0o644 13.8 KB
/usr/share/matita/ma/new-standard-library/topology/ root:root 0o755
/usr/share/matita/ma/new-standard-library/topology/cantor.ma text/plain root:root 0o644 4.1 KB
/usr/share/matita/ma/new-standard-library/topology/convert.awk text/plain root:root 0o644 1.7 KB
/usr/share/matita/ma/new-standard-library/topology/grafite.lang text/plain root:root 0o644 543 bytes
/usr/share/matita/ma/new-standard-library/topology/igft2.ma text/plain root:root 0o644 4.5 KB
/usr/share/matita/ma/new-standard-library/topology/igft-CIC-universes.svg image/svg+xml root:root 0o644 16.4 KB
/usr/share/matita/ma/new-standard-library/topology/igft.ma text/plain root:root 0o644 57.1 KB
/usr/share/matita/ma/new-standard-library/topology/igft-minimality-CIC.svg image/svg+xml root:root 0o644 29.1 KB
/usr/share/matita/ma/new-standard-library/topology/igft-setoid.ma text/plain root:root 0o644 21.8 KB
/usr/share/matita/ma/new-standard-library/topology/Makefile text/x-makefile root:root 0o644 412 bytes
/usr/share/matita/ma/new-standard-library/topology/postamble.xml text/plain root:root 0o644 17 bytes
/usr/share/matita/ma/new-standard-library/topology/preamble.xml text/xml root:root 0o644 1.1 KB
/usr/share/matita/ma/new-standard-library/topology/sh_gedit.css text/plain root:root 0o644 3.3 KB
/usr/share/matita/ma/new-standard-library/topology/sh_grafite.js text/plain root:root 0o644 1.1 KB
/usr/share/matita/ma/new-standard-library/topology/sh_main.js text/plain root:root 0o644 15.1 KB
/usr/share/matita/ma/standard-library/ root:root 0o755
/usr/share/matita/ma/standard-library/algebra/ root:root 0o755
/usr/share/matita/ma/standard-library/algebra/finite_groups.ma text/plain root:root 0o644 11.5 KB
/usr/share/matita/ma/standard-library/algebra/groups.ma text/plain root:root 0o644 8.4 KB
/usr/share/matita/ma/standard-library/algebra/monoids.ma text/plain root:root 0o644 2.1 KB
/usr/share/matita/ma/standard-library/algebra/semigroups.ma text/plain root:root 0o644 1.7 KB
/usr/share/matita/ma/standard-library/dama/ root:root 0o755
/usr/share/matita/ma/standard-library/dama/bishop_set.ma text/plain root:root 0o644 3.8 KB
/usr/share/matita/ma/standard-library/dama/bishop_set_rewrite.ma text/plain root:root 0o644 3.8 KB
/usr/share/matita/ma/standard-library/dama/lebesgue.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/ma/standard-library/dama/models/ root:root 0o755
/usr/share/matita/ma/standard-library/dama/models/discrete_uniformity.ma text/plain root:root 0o644 2.7 KB
/usr/share/matita/ma/standard-library/dama/models/increasing_supremum_stabilizes.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/ma/standard-library/dama/models/nat_lebesgue.ma text/plain root:root 0o644 1.4 KB
/usr/share/matita/ma/standard-library/dama/models/nat_order_continuous.ma text/plain root:root 0o644 2.3 KB
/usr/share/matita/ma/standard-library/dama/models/nat_ordered_uniform.ma text/plain root:root 0o644 1.7 KB
/usr/share/matita/ma/standard-library/dama/models/nat_uniform.ma text/plain root:root 0o644 1.2 KB
/usr/share/matita/ma/standard-library/dama/nat_ordered_set.ma text/plain root:root 0o644 2.6 KB
/usr/share/matita/ma/standard-library/dama/ordered_set.ma text/plain root:root 0o644 7.5 KB
/usr/share/matita/ma/standard-library/dama/ordered_uniform.ma text/plain root:root 0o644 10.3 KB
/usr/share/matita/ma/standard-library/dama/property_exhaustivity.ma text/plain root:root 0o644 7.4 KB
/usr/share/matita/ma/standard-library/dama/property_sigma.ma text/plain root:root 0o644 5.6 KB
/usr/share/matita/ma/standard-library/dama/russell_support.ma text/plain root:root 0o644 1.4 KB
/usr/share/matita/ma/standard-library/dama/sandwich.ma text/plain root:root 0o644 2.4 KB
/usr/share/matita/ma/standard-library/dama/sequence.ma text/plain root:root 0o644 1.8 KB
/usr/share/matita/ma/standard-library/dama/supremum.ma text/plain root:root 0o644 17.6 KB
/usr/share/matita/ma/standard-library/dama/uniform.ma text/plain root:root 0o644 4.3 KB
/usr/share/matita/ma/standard-library/datatypes/ root:root 0o755
/usr/share/matita/ma/standard-library/datatypes/bool.ma text/plain root:root 0o644 4.7 KB
/usr/share/matita/ma/standard-library/datatypes/categories.ma text/plain root:root 0o644 8.4 KB
/usr/share/matita/ma/standard-library/datatypes/compare.ma text/plain root:root 0o644 1.2 KB
/usr/share/matita/ma/standard-library/datatypes/constructors.ma text/plain root:root 0o644 2.1 KB
/usr/share/matita/ma/standard-library/datatypes/subsets.ma text/plain root:root 0o644 5.0 KB
/usr/share/matita/ma/standard-library/decidable_kit/ root:root 0o755
/usr/share/matita/ma/standard-library/decidable_kit/decidable.ma text/plain root:root 0o644 7.5 KB
/usr/share/matita/ma/standard-library/decidable_kit/eqtype.ma text/plain root:root 0o644 6.1 KB
/usr/share/matita/ma/standard-library/decidable_kit/fgraph.ma text/plain root:root 0o644 10.8 KB
/usr/share/matita/ma/standard-library/decidable_kit/fintype.ma text/plain root:root 0o644 11.0 KB
/usr/share/matita/ma/standard-library/decidable_kit/list_aux.ma text/plain root:root 0o644 3.3 KB
/usr/share/matita/ma/standard-library/decidable_kit/streicher.ma text/plain root:root 0o644 2.3 KB
/usr/share/matita/ma/standard-library/demo/ root:root 0o755
/usr/share/matita/ma/standard-library/demo/cantor.ma text/plain root:root 0o644 2.0 KB
/usr/share/matita/ma/standard-library/demo/formal_topology.ma text/plain root:root 0o644 6.3 KB
/usr/share/matita/ma/standard-library/demo/natural_deduction.ma text/plain root:root 0o644 2.7 KB
/usr/share/matita/ma/standard-library/demo/power_derivative.ma text/plain root:root 0o644 7.5 KB
/usr/share/matita/ma/standard-library/demo/propositional_sequent_calculus.ma text/plain root:root 0o644 21.4 KB
/usr/share/matita/ma/standard-library/demo/realisability.ma text/plain root:root 0o644 5.9 KB
/usr/share/matita/ma/standard-library/demo/toolbox.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/ma/standard-library/depends text/plain root:root 0o644 7.9 KB
/usr/share/matita/ma/standard-library/didactic/ root:root 0o755
/usr/share/matita/ma/standard-library/didactic/exercises/ root:root 0o755
/usr/share/matita/ma/standard-library/didactic/exercises/duality.ma text/plain root:root 0o644 21.5 KB
/usr/share/matita/ma/standard-library/didactic/exercises/Makefile text/html root:root 0o644 661 bytes
/usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction1.ma text/plain root:root 0o644 6.4 KB
/usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_fst_order.ma text/plain root:root 0o644 8.2 KB
/usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction.ma text/plain root:root 0o644 11.2 KB
/usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_theories.ma text/plain root:root 0o644 9.7 KB
/usr/share/matita/ma/standard-library/didactic/exercises/shannon.ma text/plain root:root 0o644 19.4 KB
/usr/share/matita/ma/standard-library/didactic/exercises/substitution.ma text/plain root:root 0o644 19.3 KB
/usr/share/matita/ma/standard-library/didactic/support/ root:root 0o755
/usr/share/matita/ma/standard-library/didactic/support/natural_deduction.ma text/plain root:root 0o644 37.5 KB
/usr/share/matita/ma/standard-library/formal_topology/ root:root 0o755
/usr/share/matita/ma/standard-library/formal_topology/basic_pairs.ma.dontcompile text/plain root:root 0o644 6.4 KB
/usr/share/matita/ma/standard-library/formal_topology/basic_topologies.ma.dontcompile text/plain root:root 0o644 9.0 KB
/usr/share/matita/ma/standard-library/formal_topology/concrete_spaces.ma.dontcompile text/plain root:root 0o644 4.5 KB
/usr/share/matita/ma/standard-library/formal_topology/formal_topologies.ma.dontcompile text/plain root:root 0o644 4.5 KB
/usr/share/matita/ma/standard-library/formal_topology/relations.ma.dontcompile text/plain root:root 0o644 10.1 KB
/usr/share/matita/ma/standard-library/formal_topology/saturations_reductions.ma.dontcompile text/plain root:root 0o644 1.8 KB
/usr/share/matita/ma/standard-library/higher_order_defs/ root:root 0o755
/usr/share/matita/ma/standard-library/higher_order_defs/functions.ma text/plain root:root 0o644 2.7 KB
/usr/share/matita/ma/standard-library/higher_order_defs/ordering.ma text/plain root:root 0o644 1.1 KB
/usr/share/matita/ma/standard-library/higher_order_defs/relations.ma text/plain root:root 0o644 2.0 KB
/usr/share/matita/ma/standard-library/list/ root:root 0o755
/usr/share/matita/ma/standard-library/list/in.ma text/plain root:root 0o644 5.6 KB
/usr/share/matita/ma/standard-library/list/list.ma text/plain root:root 0o644 5.9 KB
/usr/share/matita/ma/standard-library/list/sort.ma text/plain root:root 0o644 6.5 KB
/usr/share/matita/ma/standard-library/logic/ root:root 0o755
/usr/share/matita/ma/standard-library/logic/coimplication.ma text/plain root:root 0o644 1.6 KB
/usr/share/matita/ma/standard-library/logic/connectives2.ma text/plain root:root 0o644 1.4 KB
/usr/share/matita/ma/standard-library/logic/connectives.ma text/plain root:root 0o644 2.7 KB
/usr/share/matita/ma/standard-library/logic/cprop_connectives.ma text/plain root:root 0o644 5.7 KB
/usr/share/matita/ma/standard-library/logic/equality.ma text/plain root:root 0o644 6.6 KB
/usr/share/matita/ma/standard-library/Makefile text/plain root:root 0o644 268 bytes
/usr/share/matita/ma/standard-library/nat/ root:root 0o755
/usr/share/matita/ma/standard-library/nat/bertrand.ma text/plain root:root 0o644 32.6 KB
/usr/share/matita/ma/standard-library/nat/binomial.ma text/plain root:root 0o644 10.6 KB
/usr/share/matita/ma/standard-library/nat/chebyshev.ma text/plain root:root 0o644 61.9 KB
/usr/share/matita/ma/standard-library/nat/chebyshev_teta.ma text/plain root:root 0o644 14.6 KB
/usr/share/matita/ma/standard-library/nat/chebyshev_thm.ma text/plain root:root 0o644 43.2 KB
/usr/share/matita/ma/standard-library/nat/chinese_reminder.ma text/plain root:root 0o644 7.2 KB
/usr/share/matita/ma/standard-library/nat/compare.ma text/plain root:root 0o644 8.1 KB
/usr/share/matita/ma/standard-library/nat/congruence.ma text/plain root:root 0o644 5.7 KB
/usr/share/matita/ma/standard-library/nat/count.ma text/plain root:root 0o644 7.6 KB
/usr/share/matita/ma/standard-library/nat/div_and_mod_diseq.ma text/plain root:root 0o644 8.2 KB
/usr/share/matita/ma/standard-library/nat/div_and_mod.ma text/plain root:root 0o644 10.5 KB
/usr/share/matita/ma/standard-library/nat/div_and_mod_new.ma.dontcompile text/plain root:root 0o644 9.8 KB
/usr/share/matita/ma/standard-library/nat/euler_theorem.ma text/plain root:root 0o644 11.7 KB
/usr/share/matita/ma/standard-library/nat/exp.ma text/plain root:root 0o644 6.4 KB
/usr/share/matita/ma/standard-library/nat/factorial2.ma text/plain root:root 0o644 8.9 KB
/usr/share/matita/ma/standard-library/nat/factorial.ma text/plain root:root 0o644 2.2 KB
/usr/share/matita/ma/standard-library/nat/factorization2.ma text/plain root:root 0o644 7.3 KB
/usr/share/matita/ma/standard-library/nat/factorization.ma text/plain root:root 0o644 22.1 KB
/usr/share/matita/ma/standard-library/nat/fermat_little_theorem.ma text/plain root:root 0o644 7.9 KB
/usr/share/matita/ma/standard-library/nat/gcd.ma text/plain root:root 0o644 25.1 KB
/usr/share/matita/ma/standard-library/nat/gcd_properties1.ma text/plain root:root 0o644 8.5 KB
/usr/share/matita/ma/standard-library/nat/generic_iter_p.ma text/plain root:root 0o644 48.9 KB
/usr/share/matita/ma/standard-library/nat/iteration2.ma text/plain root:root 0o644 27.5 KB
/usr/share/matita/ma/standard-library/nat/le_arith.ma text/plain root:root 0o644 4.3 KB
/usr/share/matita/ma/standard-library/nat/log.ma text/plain root:root 0o644 11.2 KB
/usr/share/matita/ma/standard-library/nat/lt_arith.ma text/plain root:root 0o644 14.1 KB
/usr/share/matita/ma/standard-library/nat/map_iter_p.ma text/plain root:root 0o644 24.7 KB
/usr/share/matita/ma/standard-library/nat/minimization.ma text/plain root:root 0o644 11.0 KB
/usr/share/matita/ma/standard-library/nat/minus.ma text/plain root:root 0o644 11.8 KB
/usr/share/matita/ma/standard-library/nat/nat.ma text/plain root:root 0o644 3.2 KB
/usr/share/matita/ma/standard-library/nat/neper.ma text/plain root:root 0o644 52.7 KB
/usr/share/matita/ma/standard-library/nat/nth_prime.ma text/plain root:root 0o644 6.0 KB
/usr/share/matita/ma/standard-library/nat/o.ma text/plain root:root 0o644 6.7 KB
/usr/share/matita/ma/standard-library/nat/orders.ma text/plain root:root 0o644 11.0 KB
/usr/share/matita/ma/standard-library/nat/ord.ma text/plain root:root 0o644 17.4 KB
/usr/share/matita/ma/standard-library/nat/permutation.ma text/plain root:root 0o644 23.3 KB
/usr/share/matita/ma/standard-library/nat/pi_p.ma text/plain root:root 0o644 11.6 KB
/usr/share/matita/ma/standard-library/nat/plus.ma text/plain root:root 0o644 2.3 KB
/usr/share/matita/ma/standard-library/nat/primes.ma text/plain root:root 0o644 21.3 KB
/usr/share/matita/ma/standard-library/nat/relevant_equations.ma text/plain root:root 0o644 2.0 KB
/usr/share/matita/ma/standard-library/nat/sieve.ma text/plain root:root 0o644 15.8 KB
/usr/share/matita/ma/standard-library/nat/sigma_and_pi.ma text/plain root:root 0o644 2.7 KB
/usr/share/matita/ma/standard-library/nat/sqrt.ma text/plain root:root 0o644 6.8 KB
/usr/share/matita/ma/standard-library/nat/times.ma text/plain root:root 0o644 3.7 KB
/usr/share/matita/ma/standard-library/nat/totient1.ma text/plain root:root 0o644 7.9 KB
/usr/share/matita/ma/standard-library/nat/totient.ma text/plain root:root 0o644 4.9 KB
/usr/share/matita/ma/standard-library/Q/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/frac.ma text/plain root:root 0o644 4.2 KB
/usr/share/matita/ma/standard-library/Q/fraction/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/fraction/finv.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/standard-library/Q/fraction/fraction.ma text/plain root:root 0o644 6.6 KB
/usr/share/matita/ma/standard-library/Q/fraction/ftimes.ma text/plain root:root 0o644 5.3 KB
/usr/share/matita/ma/standard-library/Q/fraction/numerator_denominator.ma text/plain root:root 0o644 4.1 KB
/usr/share/matita/ma/standard-library/Q/inv.ma text/plain root:root 0o644 2.8 KB
/usr/share/matita/ma/standard-library/Q/nat_fact/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/nat_fact/times.ma text/plain root:root 0o644 2.5 KB
/usr/share/matita/ma/standard-library/Q/q/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/Qaxioms.ma text/plain root:root 0o644 2.8 KB
/usr/share/matita/ma/standard-library/Q/q.ma text/plain root:root 0o644 2.8 KB
/usr/share/matita/ma/standard-library/Q/q/qinv.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/standard-library/Q/q/q.ma text/plain root:root 0o644 2.2 KB
/usr/share/matita/ma/standard-library/Q/q/qplus.ma text/plain root:root 0o644 1.0 KB
/usr/share/matita/ma/standard-library/Q/q/qtimes.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/ma/standard-library/Q/ratio/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/ratio/ratio.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/standard-library/Q/ratio/rinv.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/standard-library/Q/ratio/rtimes.ma text/plain root:root 0o644 17.6 KB
/usr/share/matita/ma/standard-library/R/ root:root 0o755
/usr/share/matita/ma/standard-library/root text/plain root:root 0o644 20 bytes
/usr/share/matita/ma/standard-library/R/Rexp.ma text/plain root:root 0o644 10.3 KB
/usr/share/matita/ma/standard-library/R/Rlog.ma text/plain root:root 0o644 1.1 KB
/usr/share/matita/ma/standard-library/R/r.ma text/plain root:root 0o644 13.8 KB
/usr/share/matita/ma/standard-library/R/root.ma text/plain root:root 0o644 14.2 KB
/usr/share/matita/ma/standard-library/technicalities/ root:root 0o755
/usr/share/matita/ma/standard-library/technicalities/setoids.ma text/plain root:root 0o644 34.8 KB
/usr/share/matita/ma/standard-library/Z/ root:root 0o755
/usr/share/matita/ma/standard-library/Z/compare.ma text/plain root:root 0o644 4.4 KB
/usr/share/matita/ma/standard-library/Z/dirichlet_product.ma text/plain root:root 0o644 16.2 KB
/usr/share/matita/ma/standard-library/Z/inversion.ma text/plain root:root 0o644 3.3 KB
/usr/share/matita/ma/standard-library/Z/moebius.ma text/plain root:root 0o644 10.3 KB
/usr/share/matita/ma/standard-library/Z/orders.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/ma/standard-library/Z/plus.ma text/plain root:root 0o644 8.9 KB
/usr/share/matita/ma/standard-library/Z/sigma_p.ma text/plain root:root 0o644 22.1 KB
/usr/share/matita/ma/standard-library/Z/times.ma text/plain root:root 0o644 8.5 KB
/usr/share/matita/ma/standard-library/Z/z.ma text/plain root:root 0o644 4.5 KB
/usr/share/matita/matita.conf.xml text/xml root:root 0o644 4.4 KB
/usr/share/matita/matita.gtkrc text/x-c++ root:root 0o644 2.5 KB
/usr/share/matita/matita.lang text/xml root:root 0o644 8.5 KB
/usr/share/matita/matita.ma.templ text/plain root:root 0o644 1002 bytes
/usr/share/menu/ root:root 0o755
/usr/share/menu/matita text/plain root:root 0o644 224 bytes

APT Browse - Built by Thomas Orozco.