matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 13 Dec 2006 19:50:03 +0000 (19:50 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 13 Dec 2006 19:50:03 +0000 (19:50 +0000)
commit	2951babfd31047ac057714130157da2bc36e906e
tree	8ce3d3646121c6a951434028d8f11a965c34e502	tree \| snapshot
parent	e9b482856904b32a5c92eee8bcd860ffe74fa74f	commit \| diff

- 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:

components/binaries/transcript/engine.ml		diff \| blob \| history
components/binaries/transcript/grafite.ml		diff \| blob \| history
components/content_pres/content2Procedural.ml		diff \| blob \| history
components/content_pres/content2Procedural.mli		diff \| blob \| history
components/content_pres/objPp.ml		diff \| blob \| history
matita/contribs/CoRN-Decl/CoRN.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/Basics.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CAbGroups.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CAbMonoids.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CFields.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CGroups.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CLogic.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CMonoids.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/COrdAbs.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/COrdCauchy.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/COrdFields.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/COrdFields2.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CPoly_ApZero.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CPoly_Degree.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CPoly_NthCoeff.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CPolynomials.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CRings.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CSemiGroups.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CSetoidFun.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CSetoidInc.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CSetoids.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CSums.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/CVectorSpace.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/Cauchy_COF.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/Expon.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/algebra/ListType.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/complex/NRootCC.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/devel/loeb/IDA/Ch6.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/fta/CC_Props.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/fta/CPoly_Contin1.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/fta/CPoly_Rev.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/fta/FTA.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/fta/FTAreg.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/fta/KeyLemma.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/fta/KneserLemma.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/fta/MainLemma.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/COrdLemmas.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/Composition.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/Continuity.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/Derivative.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/DerivativeOps.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/Differentiability.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/FTC.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/FunctSequence.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/FunctSeries.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/Integral.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/IntervalFunct.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/MoreFunSeries.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/MoreFunctions.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/MoreIntegrals.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/MoreIntervals.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/NthDerivative.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/PartFunEquality.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/PartInterval.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/Partitions.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/RefLemma.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/RefSepRef.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/RefSeparated.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/RefSeparating.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/Rolle.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/StrongIVT.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/Taylor.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/TaylorLemma.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ftc/WeakIVT.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/metrics/CPseudoMSpaces.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/metrics/ContFunctions.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/metrics/IR_CPMSpace.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/ordine_compilazione.txt	[new file with mode: 0644]	blob
matita/contribs/CoRN-Decl/preamble.ma	[new file with mode: 0644]	blob
matita/contribs/CoRN-Decl/reals/Bridges_LUB.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/Bridges_iso.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/CMetricFields.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/CReals1.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/CSumsReals.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/CauchySeq.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/Cauchy_CReals.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/IVT.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/Intervals.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/Max_AbsIR.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/NRootIR.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/OddPolyRootIR.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/Q_dense.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/Q_in_CReals.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/R_morphism.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/RealFuncts.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/Series.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/reals/iso_CReals.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/tactics/DiffTactics2.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/tactics/FieldReflection.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/tactics/GroupReflection.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/tactics/RingReflection.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/transc/InvTrigonom.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/transc/PowerSeries.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/transc/RealPowers.ma		diff \| blob \| history
matita/contribs/CoRN-Decl/transc/TaylorSeries.ma		diff \| blob \| history
matita/contribs/Makefile	[new file with mode: 0644]	blob
matita/contribs/prova.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom