matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 9 Jun 2008 20:19:41 +0000 (20:19 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 9 Jun 2008 20:19:41 +0000 (20:19 +0000)
commit	9eabe046c1182960de8cfdba96c5414224e3a61e
tree	e9f4c8dd7c3d3421e4da9ca64b1cb6de80b416c8	tree \| snapshot
parent	423bf7f85d0959689266cfc7ca57958a04618002	commit \| diff

Most of the time, URIs can now be replaced with identifiers in "interpretation".
Warning: identifiers are mapped to URIs according to the last declared
alias.

90 files changed:

helm/software/matita/contribs/CoRN/algebra/CoRN/Setoids.ma		diff \| blob \| history
helm/software/matita/contribs/LOGIC/CLE/defs.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/freescale/byte8.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/freescale/extra.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/freescale/status.ma		diff \| blob \| history
helm/software/matita/contribs/assembly/freescale/word16.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/bishop_set.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/bishop_set_rewrite.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/cprop_connectives.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/extra.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/ordered_set.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/ordered_uniform.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/property_sigma.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/supremum.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/uniform.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_didactic/bottom.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_didactic/deriv.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_didactic/reals.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/attic/integration_algebras.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/attic/rings.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/attic/vector_spaces.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/classical_pointfree/ordered_sets.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/classical_pointfree/ordered_sets2.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/classical_pointwise/sets.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/constructive_connectives.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/divisible_group.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/excess.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/group.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/infsup.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/lattice.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/limit.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/metric_lattice.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/metric_space.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/premetric_lattice.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/prevalued_lattice.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama_duality/tend.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/bin/formal_topology.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/formal_topology.ma		diff \| blob \| history
helm/software/matita/contribs/formal_topology/formal_topology2.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/Z/orders.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/Z/plus.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/Z/times.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/congruence.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/div_and_mod.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/exp.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/factorial.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/minus.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/orders.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/permutation.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/plus.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/primes.ma		diff \| blob \| history
helm/software/matita/contribs/library_auto/auto/nat/times.ma		diff \| blob \| history
helm/software/matita/library/Q/Qaxioms.ma		diff \| blob \| history
helm/software/matita/library/Q/frac.ma		diff \| blob \| history
helm/software/matita/library/Q/q/qplus.ma		diff \| blob \| history
helm/software/matita/library/Z/compare.ma		diff \| blob \| history
helm/software/matita/library/Z/dirichlet_product.ma		diff \| blob \| history
helm/software/matita/library/Z/inversion.ma		diff \| blob \| history
helm/software/matita/library/Z/moebius.ma		diff \| blob \| history
helm/software/matita/library/Z/orders.ma		diff \| blob \| history
helm/software/matita/library/Z/plus.ma		diff \| blob \| history
helm/software/matita/library/Z/sigma_p.ma		diff \| blob \| history
helm/software/matita/library/Z/times.ma		diff \| blob \| history
helm/software/matita/library/Z/z.ma		diff \| blob \| history
helm/software/matita/library/algebra/finite_groups.ma		diff \| blob \| history
helm/software/matita/library/algebra/groups.ma		diff \| blob \| history
helm/software/matita/library/algebra/monoids.ma		diff \| blob \| history
helm/software/matita/library/algebra/semigroups.ma		diff \| blob \| history
helm/software/matita/library/datatypes/bool.ma		diff \| blob \| history
helm/software/matita/library/datatypes/compare.ma		diff \| blob \| history
helm/software/matita/library/datatypes/constructors.ma		diff \| blob \| history
helm/software/matita/library/decidable_kit/decidable.ma		diff \| blob \| history
helm/software/matita/library/decidable_kit/eqtype.ma		diff \| blob \| history
helm/software/matita/library/decidable_kit/fgraph.ma		diff \| blob \| history
helm/software/matita/library/decidable_kit/fintype.ma		diff \| blob \| history
helm/software/matita/library/decidable_kit/list_aux.ma		diff \| blob \| history
helm/software/matita/library/decidable_kit/streicher.ma		diff \| blob \| history
helm/software/matita/library/demo/power_derivative.ma		diff \| blob \| history
helm/software/matita/library/demo/propositional_sequent_calculus.ma		diff \| blob \| history
helm/software/matita/library/demo/realisability.ma		diff \| blob \| history
helm/software/matita/library/higher_order_defs/functions.ma		diff \| blob \| history
helm/software/matita/library/higher_order_defs/ordering.ma		diff \| blob \| history
helm/software/matita/library/higher_order_defs/relations.ma		diff \| blob \| history
helm/software/matita/library/list/list.ma		diff \| blob \| history
helm/software/matita/library/logic/coimplication.ma		diff \| blob \| history
helm/software/matita/library/logic/connectives.ma		diff \| blob \| history
helm/software/matita/library/logic/connectives2.ma		diff \| blob \| history
helm/software/matita/library/logic/equality.ma		diff \| blob \| history
helm/software/matita/library/nat/gcd_properties1.ma		diff \| blob \| history
helm/software/matita/library/technicalities/setoids.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom