]> matita.cs.unibo.it Git - helm.git/commit
Some lemmas moves to the file they belong to.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 14 Oct 2007 15:56:00 +0000 (15:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 14 Oct 2007 15:56:00 +0000 (15:56 +0000)
commitaf130d273b6be7fbcc2fb2504f3b28ef8fa2344f
tree0e703fe4a1b834cedc5b17a6c04260b12f62b04c
parent59cce4c27057cff97d9b4311a379c3107c5ee9a3
Some lemmas moves to the file they belong to.
Broken references to renamed errors fixed.
helm/software/matita/library/Q/Qaxioms.ma
helm/software/matita/library/algebra/finite_groups.ma
helm/software/matita/library/assembly/byte.ma
helm/software/matita/library/assembly/exadecimal.ma
helm/software/matita/library/demo/propositional_sequent_calculus.ma
helm/software/matita/library/nat/compare.ma
helm/software/matita/library/nat/ord.ma
helm/software/matita/library/nat/orders.ma
helm/software/matita/library/nat/relevant_equations.ma