]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/procedural/Coq/Num/AddProps.mma
we have to remove the Num directory :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Sep 2008 18:40:08 +0000 (18:40 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Sep 2008 18:40:08 +0000 (18:40 +0000)
commit3f0438ba048b12ed626f0fb1ac421cc6df4b7d9f
tree78a40b7bb6278a9291b81059242b3c4fa637a93b
parentf620bf94af6c347926ed1c2328462efab7018b21
we have to remove the Num directory :)
29 files changed:
helm/software/matita/contribs/procedural/Coq/Num/AddProps.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Axioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Definitions.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/DiscrAxioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/DiscrProps.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/EqAxioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/EqParams.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/GeAxioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/GeProps.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/GtAxioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/GtProps.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/LeAxioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/LeProps.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Leibniz/EqAxioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Leibniz/NSyntax.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Leibniz/Params.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/LtProps.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/NSyntax.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Nat/Axioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Nat/NSyntax.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Nat/NeqDef.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/NeqAxioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/NeqDef.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/NeqParams.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/NeqProps.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/OppAxioms.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/OppProps.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/Params.mma [deleted file]
helm/software/matita/contribs/procedural/Coq/Num/SubProps.mma [deleted file]