]> matita.cs.unibo.it Git - helm.git/commit
we forgot to delete the old CoRN mma files :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Sep 2008 16:20:57 +0000 (16:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 4 Sep 2008 16:20:57 +0000 (16:20 +0000)
commitda19e4d26c7fbc783d3d43293386409aad72af69
tree72a2831a6a35865498e6bc32c4408d8708559f86
parent29714797b01e0ac8c22e4df2827b1785a759f482
we forgot to delete the old CoRN mma files :)
162 files changed:
helm/software/matita/contribs/CoRN-Procedural/CoRN.conf.xml [deleted file]
helm/software/matita/contribs/CoRN-Procedural/CoRN.ma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/Makefile [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/Basics.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CAbGroups.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CAbMonoids.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CFields.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CGroups.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CLogic.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CMonoids.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdAbs.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdCauchy.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdFields.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdFields2.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_ApZero.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_Degree.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_NthCoeff.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CPolynomials.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CRings.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSemiGroups.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoidFun.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoidInc.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoids.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CSums.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/CVectorSpace.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/Cauchy_COF.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/Expon.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/algebra/ListType.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/complex/AbsCC.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/complex/CComplex.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/complex/Complex_Exponential.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/complex/NRootCC.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/depends [deleted file]
helm/software/matita/contribs/CoRN-Procedural/devel/loeb/IDA/Ch6.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/devel/loeb/per/csetfun.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/devel/loeb/per/lst2fun.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/CC_Props.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Contin1.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Rev.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Shift.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/FTA.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/FTAreg.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/KeyLemma.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/KneserLemma.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/fta/MainLemma.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/COrdLemmas.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/CalculusTheorems.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/Composition.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/Continuity.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/Derivative.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/DerivativeOps.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/Differentiability.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/FTC.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/FunctSequence.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/FunctSeries.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/FunctSums.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/Integral.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/IntervalFunct.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreFunSeries.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreFunctions.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreIntegrals.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreIntervals.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/NthDerivative.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/PartFunEquality.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/PartInterval.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/Partitions.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/RefLemma.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSepRef.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSeparated.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSeparating.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/Rolle.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/StrongIVT.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/Taylor.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/TaylorLemma.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/ftc/WeakIVT.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/metrics/CMetricSpaces.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/metrics/CPMSTheory.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/metrics/CPseudoMSpaces.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/metrics/ContFunctions.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/metrics/Equiv.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/metrics/IR_CPMSpace.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/metrics/Prod_Sub.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/abgroups/QSposabgroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/abgroups/Qabgroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/abgroups/Qposabgroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/abgroups/Zabgroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/fields/Qfield.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/groups/QSposgroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/groups/Qgroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/groups/Qposgroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/groups/Zgroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Nmonoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Nposmonoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/QSposmonoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Qmonoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Qposmonoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/monoids/Zmonoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/non_examples/N_no_group.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/non_examples/Npos_no_group.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/non_examples/Npos_no_monoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/ordfields/Qordfield.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/reals/Cauchy_IR.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/rings/Qring.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/rings/Zring.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Npossemigroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Nsemigroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/QSpossemigroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Qpossemigroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Qsemigroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/semigroups/Zsemigroup.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Npossetoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Nsetoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Qpossetoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Qsetoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/setoids/Zsetoid.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Npossec.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Nsec.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Qpossec.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Qsec.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/model/structures/Zsec.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/preamble.ma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/Bridges_LUB.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/Bridges_iso.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/CMetricFields.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/CPoly_Contin.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/CReals.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/CReals1.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/CSumsReals.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/CauchySeq.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/Cauchy_CReals.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/IVT.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/Intervals.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/Max_AbsIR.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/NRootIR.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/OddPolyRootIR.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/Q_dense.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/Q_in_CReals.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/R_morphism.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/RealFuncts.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/RealLists.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/Series.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/reals/iso_CReals.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/root [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/AlgReflection.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/DiffTactics1.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/DiffTactics2.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/DiffTactics3.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/FieldReflection.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/GroupReflection.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/Opaque_algebra.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/RingReflection.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/Step.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/tactics/Transparent_algebra.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/Exponential.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/InvTrigonom.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/Pi.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/PowerSeries.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/RealPowers.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/SinCos.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/TaylorSeries.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/TrigMon.mma [deleted file]
helm/software/matita/contribs/CoRN-Procedural/transc/Trigonometric.mma [deleted file]