matita 0.5.8-3build1 / usr / share / matita / ma / standard-library

This file is indexed.

/usr/share/matita/ma/standard-library/ is in matita 0.5.8-3build1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/matita/ma/standard-library/Makefile text/plain root:root 0o644 268 bytes
/usr/share/matita/ma/standard-library/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/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/q.ma text/plain root:root 0o644 2.8 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/qinv.ma text/plain root:root 0o644 1.3 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/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/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/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/Makefile text/html root:root 0o644 661 bytes
/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/natural_deduction.ma text/plain root:root 0o644 11.2 KB
/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_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/connectives.ma text/plain root:root 0o644 2.7 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/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/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.ma text/plain root:root 0o644 10.5 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_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/factorial.ma text/plain root:root 0o644 2.2 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/factorization.ma text/plain root:root 0o644 22.1 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/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/ord.ma text/plain root:root 0o644 17.4 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/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/totient.ma text/plain root:root 0o644 4.9 KB
/usr/share/matita/ma/standard-library/nat/totient1.ma text/plain root:root 0o644 7.9 KB
/usr/share/matita/ma/standard-library/root text/plain root:root 0o644 20 bytes
/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

APT Browse - Built by Thomas Orozco.