]> matita.cs.unibo.it Git - helm.git/commit
transcript: bug fix in the generation of axioms
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 25 Aug 2008 10:27:03 +0000 (10:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 25 Aug 2008 10:27:03 +0000 (10:27 +0000)
commitf919cce8d299eab1dda92af4c5b53a8a7ac348af
treefe3dbe5cb5e0d90808868f59ff1d22f321fb51b5
parente5b2195dc02c05040bbf6ef677e9a22a6b73fec8
transcript: bug fix in the generation of axioms
            variables are now unexported
CoRN-Procedural: regenerated and Makefile improved
95 files changed:
helm/software/components/binaries/transcript/grafite.ml
helm/software/components/binaries/transcript/v8Parser.mly
helm/software/matita/contribs/CoRN-Procedural/Makefile
helm/software/matita/contribs/CoRN-Procedural/algebra/Basics.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CAbGroups.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CAbMonoids.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CFields.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CGroups.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CLogic.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CMonoids.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdAbs.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdCauchy.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdFields.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/COrdFields2.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_ApZero.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_Degree.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CPoly_NthCoeff.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CPolynomials.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CRings.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CSemiGroups.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoidFun.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoidInc.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CSetoids.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CSums.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/CVectorSpace.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/Cauchy_COF.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/Expon.mma
helm/software/matita/contribs/CoRN-Procedural/algebra/ListType.mma
helm/software/matita/contribs/CoRN-Procedural/complex/NRootCC.mma
helm/software/matita/contribs/CoRN-Procedural/devel/loeb/IDA/Ch6.mma
helm/software/matita/contribs/CoRN-Procedural/fta/CC_Props.mma
helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Contin1.mma
helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Rev.mma
helm/software/matita/contribs/CoRN-Procedural/fta/FTA.mma
helm/software/matita/contribs/CoRN-Procedural/fta/FTAreg.mma
helm/software/matita/contribs/CoRN-Procedural/fta/KeyLemma.mma
helm/software/matita/contribs/CoRN-Procedural/fta/KneserLemma.mma
helm/software/matita/contribs/CoRN-Procedural/fta/MainLemma.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/COrdLemmas.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/Composition.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/Continuity.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/Derivative.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/DerivativeOps.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/Differentiability.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/FTC.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/FunctSequence.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/FunctSeries.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/Integral.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/IntervalFunct.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreFunSeries.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreFunctions.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreIntegrals.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/MoreIntervals.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/NthDerivative.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/PartFunEquality.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/PartInterval.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/Partitions.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/RefLemma.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSepRef.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSeparated.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/RefSeparating.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/Rolle.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/StrongIVT.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/Taylor.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/TaylorLemma.mma
helm/software/matita/contribs/CoRN-Procedural/ftc/WeakIVT.mma
helm/software/matita/contribs/CoRN-Procedural/metrics/CPseudoMSpaces.mma
helm/software/matita/contribs/CoRN-Procedural/metrics/ContFunctions.mma
helm/software/matita/contribs/CoRN-Procedural/metrics/IR_CPMSpace.mma
helm/software/matita/contribs/CoRN-Procedural/reals/Bridges_LUB.mma
helm/software/matita/contribs/CoRN-Procedural/reals/Bridges_iso.mma
helm/software/matita/contribs/CoRN-Procedural/reals/CMetricFields.mma
helm/software/matita/contribs/CoRN-Procedural/reals/CReals1.mma
helm/software/matita/contribs/CoRN-Procedural/reals/CSumsReals.mma
helm/software/matita/contribs/CoRN-Procedural/reals/CauchySeq.mma
helm/software/matita/contribs/CoRN-Procedural/reals/Cauchy_CReals.mma
helm/software/matita/contribs/CoRN-Procedural/reals/IVT.mma
helm/software/matita/contribs/CoRN-Procedural/reals/Intervals.mma
helm/software/matita/contribs/CoRN-Procedural/reals/Max_AbsIR.mma
helm/software/matita/contribs/CoRN-Procedural/reals/NRootIR.mma
helm/software/matita/contribs/CoRN-Procedural/reals/OddPolyRootIR.mma
helm/software/matita/contribs/CoRN-Procedural/reals/Q_dense.mma
helm/software/matita/contribs/CoRN-Procedural/reals/Q_in_CReals.mma
helm/software/matita/contribs/CoRN-Procedural/reals/R_morphism.mma
helm/software/matita/contribs/CoRN-Procedural/reals/RealFuncts.mma
helm/software/matita/contribs/CoRN-Procedural/reals/Series.mma
helm/software/matita/contribs/CoRN-Procedural/reals/iso_CReals.mma
helm/software/matita/contribs/CoRN-Procedural/tactics/DiffTactics2.mma
helm/software/matita/contribs/CoRN-Procedural/tactics/FieldReflection.mma
helm/software/matita/contribs/CoRN-Procedural/tactics/GroupReflection.mma
helm/software/matita/contribs/CoRN-Procedural/tactics/RingReflection.mma
helm/software/matita/contribs/CoRN-Procedural/transc/InvTrigonom.mma
helm/software/matita/contribs/CoRN-Procedural/transc/PowerSeries.mma
helm/software/matita/contribs/CoRN-Procedural/transc/RealPowers.mma
helm/software/matita/contribs/CoRN-Procedural/transc/TaylorSeries.mma