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