matita/contribs/CoRN-Decl/ordine_compilazione.txt

   1 CoRN.ma                                OK
   2 algebra/ListType.ma
   3 algebra/Basics.ma
   4 algebra/CLogic.ma
   5 tactics/Step.ma
   6 algebra/CSetoids.ma
   7 algebra/CSetoidFun.ma
   8 algebra/CSetoidInc.ma
   9 algebra/CSemiGroups.ma
  10 algebra/CMonoids.ma
  11 algebra/CGroups.ma
  12 algebra/CAbGroups.ma
  13 algebra/CAbMonoids.ma
  14 algebra/CSums.ma
  15 algebra/CRings.ma
  16 algebra/CFields.ma
  17 tactics/AlgReflection.ma
  18 tactics/Opaque_algebra.ma
  19 tactics/FieldReflection.ma
  20 tactics/Transparent_algebra.ma
  21 algebra/COrdFields.ma
  22 algebra/COrdFields2.ma
  23 algebra/COrdAbs.ma
  24 algebra/COrdCauchy.ma
  25 tactics/RingReflection.ma
  26 algebra/CPolynomials.ma
  27 algebra/CPoly_NthCoeff.ma
  28 algebra/CPoly_Degree.ma
  29 algebra/CPoly_ApZero.ma
  30 algebra/CVectorSpace.ma
  31 algebra/Cauchy_COF.ma
  32 algebra/Expon.ma
  33 reals/CReals.ma
  34 reals/CauchySeq.ma
  35 reals/Max_AbsIR.ma
  36 reals/CReals1.ma
  37 reals/RealFuncts.ma
  38 reals/CPoly_Contin.ma
  39 reals/IVT.ma
  40 reals/OddPolyRootIR.ma
  41 reals/NRootIR.ma
  42 complex/CComplex.ma
  43 complex/AbsCC.ma
  44 reals/RealLists.ma
  45 reals/Intervals.ma
  46 tactics/DiffTactics1.ma
  47 ftc/PartFunEquality.ma
  48 reals/CSumsReals.ma
  49 ftc/FunctSums.ma
  50 ftc/Continuity.ma
  51 ftc/Derivative.ma
  52 ftc/DerivativeOps.ma
  53 ftc/IntervalFunct.ma
  54 ftc/PartInterval.ma
  55 ftc/Differentiability.ma
  56 ftc/NthDerivative.ma
  57 ftc/MoreIntervals.ma
  58 ftc/MoreFunctions.ma
  59 tactics/DiffTactics2.ma
  60 ftc/Rolle.ma
  61 ftc/TaylorLemma.ma
  62 ftc/Taylor.ma
  63 ftc/Composition.ma
  64 ftc/FunctSequence.ma
  65 reals/Series.ma
  66 ftc/FunctSeries.ma
  67 ftc/MoreFunSeries.ma
  68 tactics/DiffTactics3.ma
  69 ftc/CalculusTheorems.ma
  70 ftc/COrdLemmas.ma
  71 ftc/Partitions.ma
  72 ftc/RefSepRef.ma
  73 ftc/RefSeparated.ma
  74 ftc/RefSeparating.ma
  75 ftc/RefLemma.ma
  76 ftc/Integral.ma
  77 ftc/MoreIntegrals.ma
  78 ftc/FTC.ma
  79 transc/PowerSeries.ma
  80 transc/TaylorSeries.ma
  81 transc/Exponential.ma
  82 transc/Trigonometric.ma
  83 transc/SinCos.ma
  84 transc/Pi.ma
  85 complex/Complex_Exponential.ma
  86 complex/NRootCC.ma
  87 devel/loeb/per/csetfun.ma
  88 devel/loeb/per/lst2fun.ma
  89 model/structures/Nsec.ma
  90 model/setoids/Nsetoid.ma
  91 model/semigroups/Nsemigroup.ma
  92 model/monoids/Nmonoid.ma
  93 model/structures/Zsec.ma
  94 model/setoids/Zsetoid.ma
  95 model/semigroups/Zsemigroup.ma
  96 model/monoids/Zmonoid.ma
  97 model/structures/Qsec.ma
  98 model/setoids/Qsetoid.ma
  99 devel/loeb/IDA/Ch6.ma
 100 fta/CC_Props.ma
 101 fta/CPoly_Contin1.ma
 102 fta/CPoly_Rev.ma
 103 fta/CPoly_Shift.ma
 104 fta/KeyLemma.ma
 105 fta/MainLemma.ma
 106 fta/KneserLemma.ma
 107 fta/FTAreg.ma
 108 fta/FTA.ma
 109 ftc/WeakIVT.ma
 110 ftc/StrongIVT.ma
 111 metrics/CPseudoMSpaces.ma
 112 metrics/ContFunctions.ma
 113 metrics/IR_CPMSpace.ma
 114 metrics/Equiv.ma
 115 metrics/Prod_Sub.ma
 116 metrics/CMetricSpaces.ma
 117 metrics/CPMSTheory.ma
 118 model/structures/Qpossec.ma
 119 model/setoids/Qpossetoid.ma
 120 model/semigroups/QSpossemigroup.ma
 121 model/monoids/QSposmonoid.ma
 122 model/groups/QSposgroup.ma
 123 model/abgroups/QSposabgroup.ma
 124 model/semigroups/Qsemigroup.ma
 125 model/monoids/Qmonoid.ma
 126 model/groups/Qgroup.ma
 127 model/abgroups/Qabgroup.ma
 128 model/semigroups/Qpossemigroup.ma
 129 model/monoids/Qposmonoid.ma
 130 model/groups/Qposgroup.ma
 131 model/abgroups/Qposabgroup.ma
 132 model/groups/Zgroup.ma
 133 model/abgroups/Zabgroup.ma
 134 model/rings/Zring.ma
 135 model/rings/Qring.ma
 136 model/fields/Qfield.ma
 137 model/structures/Npossec.ma
 138 model/setoids/Npossetoid.ma
 139 model/semigroups/Npossemigroup.ma
 140 model/monoids/Nposmonoid.ma
 141 model/non_examples/N_no_group.ma
 142 model/non_examples/Npos_no_group.ma
 143 model/non_examples/Npos_no_monoid.ma
 144 model/ordfields/Qordfield.ma
 145 reals/Cauchy_CReals.ma
 146 model/reals/Cauchy_IR.ma
 147 reals/Q_in_CReals.ma
 148 reals/Q_dense.ma
 149 reals/R_morphism.ma
 150 reals/iso_CReals.ma
 151 reals/Bridges_LUB.ma
 152 reals/Bridges_iso.ma
 153 reals/CMetricFields.ma
 154 tactics/GroupReflection.ma
 155 transc/RealPowers.ma
 156 transc/TrigMon.ma
 157 transc/InvTrigonom.ma