]> matita.cs.unibo.it Git - helm.git/commit
- transcript: patched to generate aliases instead of inlined variables
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Dec 2006 19:50:03 +0000 (19:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Dec 2006 19:50:03 +0000 (19:50 +0000)
commit55444711ececb62f0a93f2a064f64c3b27f744e2
tree69e96a4fed2a16319a8aa74b7107982d83950780
parent4609a07e2fe4343d94832fcaf0936223f83ba71c
- transcript: patched to generate aliases instead of inlined variables
- CoRN-Decl: regenerated with aliases instead of inlined variables
- content2Procedural: improved but not working yet
102 files changed:
helm/software/components/binaries/transcript/engine.ml
helm/software/components/binaries/transcript/grafite.ml
helm/software/components/content_pres/content2Procedural.ml
helm/software/components/content_pres/content2Procedural.mli
helm/software/components/content_pres/objPp.ml
helm/software/matita/contribs/CoRN-Decl/CoRN.ma
helm/software/matita/contribs/CoRN-Decl/algebra/Basics.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CAbGroups.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CAbMonoids.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CFields.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CGroups.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CLogic.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CMonoids.ma
helm/software/matita/contribs/CoRN-Decl/algebra/COrdAbs.ma
helm/software/matita/contribs/CoRN-Decl/algebra/COrdCauchy.ma
helm/software/matita/contribs/CoRN-Decl/algebra/COrdFields.ma
helm/software/matita/contribs/CoRN-Decl/algebra/COrdFields2.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CPoly_ApZero.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CPoly_Degree.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CPoly_NthCoeff.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CPolynomials.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CRings.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CSemiGroups.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CSetoidFun.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CSetoidInc.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CSetoids.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CSums.ma
helm/software/matita/contribs/CoRN-Decl/algebra/CVectorSpace.ma
helm/software/matita/contribs/CoRN-Decl/algebra/Cauchy_COF.ma
helm/software/matita/contribs/CoRN-Decl/algebra/Expon.ma
helm/software/matita/contribs/CoRN-Decl/algebra/ListType.ma
helm/software/matita/contribs/CoRN-Decl/complex/NRootCC.ma
helm/software/matita/contribs/CoRN-Decl/devel/loeb/IDA/Ch6.ma
helm/software/matita/contribs/CoRN-Decl/fta/CC_Props.ma
helm/software/matita/contribs/CoRN-Decl/fta/CPoly_Contin1.ma
helm/software/matita/contribs/CoRN-Decl/fta/CPoly_Rev.ma
helm/software/matita/contribs/CoRN-Decl/fta/FTA.ma
helm/software/matita/contribs/CoRN-Decl/fta/FTAreg.ma
helm/software/matita/contribs/CoRN-Decl/fta/KeyLemma.ma
helm/software/matita/contribs/CoRN-Decl/fta/KneserLemma.ma
helm/software/matita/contribs/CoRN-Decl/fta/MainLemma.ma
helm/software/matita/contribs/CoRN-Decl/ftc/COrdLemmas.ma
helm/software/matita/contribs/CoRN-Decl/ftc/Composition.ma
helm/software/matita/contribs/CoRN-Decl/ftc/Continuity.ma
helm/software/matita/contribs/CoRN-Decl/ftc/Derivative.ma
helm/software/matita/contribs/CoRN-Decl/ftc/DerivativeOps.ma
helm/software/matita/contribs/CoRN-Decl/ftc/Differentiability.ma
helm/software/matita/contribs/CoRN-Decl/ftc/FTC.ma
helm/software/matita/contribs/CoRN-Decl/ftc/FunctSequence.ma
helm/software/matita/contribs/CoRN-Decl/ftc/FunctSeries.ma
helm/software/matita/contribs/CoRN-Decl/ftc/Integral.ma
helm/software/matita/contribs/CoRN-Decl/ftc/IntervalFunct.ma
helm/software/matita/contribs/CoRN-Decl/ftc/MoreFunSeries.ma
helm/software/matita/contribs/CoRN-Decl/ftc/MoreFunctions.ma
helm/software/matita/contribs/CoRN-Decl/ftc/MoreIntegrals.ma
helm/software/matita/contribs/CoRN-Decl/ftc/MoreIntervals.ma
helm/software/matita/contribs/CoRN-Decl/ftc/NthDerivative.ma
helm/software/matita/contribs/CoRN-Decl/ftc/PartFunEquality.ma
helm/software/matita/contribs/CoRN-Decl/ftc/PartInterval.ma
helm/software/matita/contribs/CoRN-Decl/ftc/Partitions.ma
helm/software/matita/contribs/CoRN-Decl/ftc/RefLemma.ma
helm/software/matita/contribs/CoRN-Decl/ftc/RefSepRef.ma
helm/software/matita/contribs/CoRN-Decl/ftc/RefSeparated.ma
helm/software/matita/contribs/CoRN-Decl/ftc/RefSeparating.ma
helm/software/matita/contribs/CoRN-Decl/ftc/Rolle.ma
helm/software/matita/contribs/CoRN-Decl/ftc/StrongIVT.ma
helm/software/matita/contribs/CoRN-Decl/ftc/Taylor.ma
helm/software/matita/contribs/CoRN-Decl/ftc/TaylorLemma.ma
helm/software/matita/contribs/CoRN-Decl/ftc/WeakIVT.ma
helm/software/matita/contribs/CoRN-Decl/metrics/CPseudoMSpaces.ma
helm/software/matita/contribs/CoRN-Decl/metrics/ContFunctions.ma
helm/software/matita/contribs/CoRN-Decl/metrics/IR_CPMSpace.ma
helm/software/matita/contribs/CoRN-Decl/ordine_compilazione.txt [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Decl/preamble.ma [new file with mode: 0644]
helm/software/matita/contribs/CoRN-Decl/reals/Bridges_LUB.ma
helm/software/matita/contribs/CoRN-Decl/reals/Bridges_iso.ma
helm/software/matita/contribs/CoRN-Decl/reals/CMetricFields.ma
helm/software/matita/contribs/CoRN-Decl/reals/CReals1.ma
helm/software/matita/contribs/CoRN-Decl/reals/CSumsReals.ma
helm/software/matita/contribs/CoRN-Decl/reals/CauchySeq.ma
helm/software/matita/contribs/CoRN-Decl/reals/Cauchy_CReals.ma
helm/software/matita/contribs/CoRN-Decl/reals/IVT.ma
helm/software/matita/contribs/CoRN-Decl/reals/Intervals.ma
helm/software/matita/contribs/CoRN-Decl/reals/Max_AbsIR.ma
helm/software/matita/contribs/CoRN-Decl/reals/NRootIR.ma
helm/software/matita/contribs/CoRN-Decl/reals/OddPolyRootIR.ma
helm/software/matita/contribs/CoRN-Decl/reals/Q_dense.ma
helm/software/matita/contribs/CoRN-Decl/reals/Q_in_CReals.ma
helm/software/matita/contribs/CoRN-Decl/reals/R_morphism.ma
helm/software/matita/contribs/CoRN-Decl/reals/RealFuncts.ma
helm/software/matita/contribs/CoRN-Decl/reals/Series.ma
helm/software/matita/contribs/CoRN-Decl/reals/iso_CReals.ma
helm/software/matita/contribs/CoRN-Decl/tactics/DiffTactics2.ma
helm/software/matita/contribs/CoRN-Decl/tactics/FieldReflection.ma
helm/software/matita/contribs/CoRN-Decl/tactics/GroupReflection.ma
helm/software/matita/contribs/CoRN-Decl/tactics/RingReflection.ma
helm/software/matita/contribs/CoRN-Decl/transc/InvTrigonom.ma
helm/software/matita/contribs/CoRN-Decl/transc/PowerSeries.ma
helm/software/matita/contribs/CoRN-Decl/transc/RealPowers.ma
helm/software/matita/contribs/CoRN-Decl/transc/TaylorSeries.ma
helm/software/matita/contribs/Makefile [new file with mode: 0644]
helm/software/matita/contribs/prova.ma