Index of /jgross/slow-opaque/catdb-lock

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]-2013-06-27 22:29 0  
[ ]foo.agda2013-06-27 22:29 0  
[ ]temp.agda2013-06-27 22:29 0  
[ ]tmpEaEjJo.v2013-06-27 22:29 0  
[ ]tmpYRhr1X.v2013-06-27 22:29 0  
[ ]tmpcGT50D.v2013-06-27 22:29 0  
[ ]tmphlGZPO.v2013-06-27 22:29 0  
[ ]sig.2013-06-27 22:29 42  
[ ]CommaCategoryFunctors.v2013-06-27 22:29 48  
[ ]CommaCategoryFunctors.v.orig2013-06-27 22:29 48  
[ ]Notations.glob2013-06-27 22:29 51  
[TXT]Common.v.d2013-06-27 22:29 52  
[TXT]Database.v.d2013-06-27 22:29 60  
[TXT]NatFacts.v.d2013-06-27 22:29 60  
[TXT]Paths.v.d2013-06-27 22:29 60  
[TXT]Graph.v.d2013-06-27 22:29 63  
[TXT]Group.v.d2013-06-27 22:29 63  
[ ]TODO2013-06-27 22:29 63  
[TXT]Notations.v.d2013-06-27 22:29 64  
[TXT]Schema.v.d2013-06-27 22:29 64  
[TXT]GetArguments.v.d2013-06-27 22:29 76  
[TXT]SQLQueries.v.d2013-06-27 22:29 82  
[TXT]Equalizer.v.d2013-06-27 22:29 88  
[TXT]SetSchema.v.d2013-06-27 22:29 88  
[TXT]Subcategory.v.d2013-06-27 22:29 89  
[TXT]BoolCategory.v.d2013-06-27 22:29 90  
[TXT]FEqualDep.v.d2013-06-27 22:29 91  
[TXT]DualFunctor.v.d2013-06-27 22:29 92  
[TXT]DecidableCat.v.d2013-06-27 22:29 103  
[TXT]EquivalenceSet.v.d2013-06-27 22:29 111  
[TXT]SetCategory.v.d2013-06-27 22:29 111  
[TXT]SmallSchema.v.d2013-06-27 22:29 111  
[TXT]SumCategory.v.d2013-06-27 22:29 111  
[ ]CommaCategoryFunctors.glob2013-06-27 22:29 112  
[TXT]Instance.v.d2013-06-27 22:29 116  
[TXT]Examples.v.d2013-06-27 22:29 117  
[TXT]MetaTranslation.v.d2013-06-27 22:29 117  
[TXT]PathsCategory.v.d2013-06-27 22:29 117  
[TXT]DatabaseConstraints.v.d2013-06-27 22:29 118  
[TXT]DiscreteCategory.v.d2013-06-27 22:29 118  
[TXT]EquivalenceClass.v.d2013-06-27 22:29 119  
[TXT]EqdepFacts_one_variable.v.d2013-06-27 22:29 120  
[TXT]NatCategory.v.d2013-06-27 22:29 120  
[TXT]MetaEquivalence.v.d2013-06-27 22:29 121  
[TXT]PullbackFunctor.v.d2013-06-27 22:29 121  
[TXT]DatabaseMorphisms.v.d2013-06-27 22:29 122  
[TXT]Category.v.d2013-06-27 22:29 125  
[TXT]Groupoid.v.d2013-06-27 22:29 125  
[TXT]EqualizerFunctor.v.d2013-06-27 22:29 126  
[TXT]Translation.v.d2013-06-27 22:29 126  
[TXT]ProductCategory.v.d2013-06-27 22:29 127  
[TXT]DecidableSmallCat.v.d2013-06-27 22:29 128  
[TXT]Hom.v.d2013-06-27 22:29 128  
[TXT]Theorems.v.d2013-06-27 22:29 129  
[TXT]Grothendieck.v.d2013-06-27 22:29 132  
[TXT]Functor.v.d2013-06-27 22:29 135  
[TXT]Pullback.v.d2013-06-27 22:29 135  
[TXT]DefinitionSimplification.v.d2013-06-27 22:29 136  
[TXT]ProductLaws.v.d2013-06-27 22:29 137  
[TXT]AdjointUnit.v.d2013-06-27 22:29 138  
[TXT]StructureEquality.v.d2013-06-27 22:29 138  
[TXT]ComputableCategory.v.d2013-06-27 22:29 139  
[TXT]IndiscreteCategory.v.d2013-06-27 22:29 139  
[TXT]AdjointComposition.v.d2013-06-27 22:29 140  
[TXT]SubobjectClassifier.v.d2013-06-27 22:29 142  
[TXT]DecidableSetCategory.v.d2013-06-27 22:29 143  
[TXT]Eqdep_dec_one_variable.v.d2013-06-27 22:29 145  
[TXT]NaturalNumbersObject.v.d2013-06-27 22:29 148  
[TXT]CommaCategoryFunctors.v.d2013-06-27 22:29 149  
[TXT]SigCategory.v.d2013-06-27 22:29 149  
[TXT]Graphs.v.d2013-06-27 22:29 150  
[TXT]Products.v.d2013-06-27 22:29 151  
[TXT]EquivalenceRelationGenerator.v.d2013-06-27 22:29 152  
[TXT]FunctorCategory.v.d2013-06-27 22:29 154  
[TXT]ChainCategory.v.d2013-06-27 22:29 155  
[TXT]FunctorIsomorphisms.v.d2013-06-27 22:29 155  
[TXT]CategoryIsomorphisms.v.d2013-06-27 22:29 157  
[TXT]SigSigTCategory.v.d2013-06-27 22:29 160  
[TXT]GroupCategory.v.d2013-06-27 22:29 161  
[TXT]SigTInducedFunctors.v.d2013-06-27 22:29 162  
[TXT]Limits.v.d2013-06-27 22:29 164  
[TXT]SigTCategory.v.d2013-06-27 22:29 168  
[TXT]SmallTranslation.v.d2013-06-27 22:29 168  
[TXT]DecidableDiscreteCategory.v.d2013-06-27 22:29 169  
[TXT]SpecializedCategory.v.d2013-06-27 22:29 169  
[TXT]SumInducedFunctors.v.d2013-06-27 22:29 171  
[TXT]LimitFunctors.v.d2013-06-27 22:29 172  
[TXT]Cat.v.d2013-06-27 22:29 173  
[TXT]report_time.sh2013-06-27 22:29 173  
[TXT]SigTSigCategory.v.d2013-06-27 22:29 175  
[TXT]AdjointUniversalMorphisms.v.d2013-06-27 22:29 178  
[TXT]DecidableComputableCategory.v.d2013-06-27 22:29 178  
[TXT]ComputableGraphCategory.v.d2013-06-27 22:29 179  
[TXT]GraphTranslation.v.d2013-06-27 22:29 179  
[TXT]FunctorialComposition.v.d2013-06-27 22:29 181  
[TXT]Yoneda.v.d2013-06-27 22:29 182  
[TXT]EnrichedCategory.v.d2013-06-27 22:29 185  
[TXT]CommaCategoryProjection.v.d2013-06-27 22:29 187  
[TXT]SigTSigInducedFunctors.v.d2013-06-27 22:29 189  
[TXT]NaturalTransformation.v.d2013-06-27 22:29 190  
[TXT]Coend.v.d2013-06-27 22:29 191  
[TXT]Duals.v.d2013-06-27 22:29 191  
[TXT]InitialTerminalCategory.v.d2013-06-27 22:29 191  
[TXT]SimplicialSets.v.d2013-06-27 22:29 191  
[TXT]SmallCat.v.d2013-06-27 22:29 193  
[TXT]FunctorProduct.v.d2013-06-27 22:29 195  
[TXT]SetLimits.v.d2013-06-27 22:29 195  
[TXT]CategoryEquality.v.d2013-06-27 22:29 196  
[TXT]CommaCategory.v.d2013-06-27 22:29 199  
[TXT]ProductFunctors.v.d2013-06-27 22:29 200  
[TXT]SemiSimplicialSets.v.d2013-06-27 22:29 200  
[TXT]AdjointPointwise.v.d2013-06-27 22:29 203  
[TXT]NaturalEquivalence.v.d2013-06-27 22:29 204  
[TXT]ProductInducedFunctors.v.d2013-06-27 22:29 204  
[TXT]FunctorAttributes.v.d2013-06-27 22:29 205  
[TXT]TypeclassSimplification.v.d2013-06-27 22:29 205  
[TXT]SetCategoryProductFunctor.v.d2013-06-27 22:29 206  
[TXT]UniversalProperties.v.d2013-06-27 22:29 206  
[TXT]CoendFunctor.v.d2013-06-27 22:29 209  
[TXT]SetCategoryFacts.v.d2013-06-27 22:29 209  
[TXT]LtacReifiedSimplification.v.d2013-06-27 22:29 211  
[TXT]CommaCategoryFunctorProperties.v.d2013-06-27 22:29 217  
[TXT]LimitFunctorTheorems.v.d2013-06-27 22:29 223  
[TXT]Adjoint.v.d2013-06-27 22:29 224  
[TXT]Correspondences.v.d2013-06-27 22:29 226  
[TXT]ProductNaturalTransformation.v.d2013-06-27 22:29 235  
[TXT]PathsCategoryFunctors.v.d2013-06-27 22:29 246  
[ ]NNotations.native2013-06-27 22:29 257  
[TXT]CanonicalStructureSimplification.v.d2013-06-27 22:29 258  
[TXT]GrothendieckFunctorial.v.d2013-06-27 22:29 259  
[TXT]DiscreteCategoryFunctors.v.d2013-06-27 22:29 261  
[TXT]TypeclassUnreifiedSimplification.v.d2013-06-27 22:29 263  
[TXT]SpecializedCommaCategory.v.d2013-06-27 22:29 268  
[ ]NStructureEquality.native2013-06-27 22:29 273  
[TXT]LaxCommaCategory.v.d2013-06-27 22:29 279  
[ ]NCommaCategoryFunctors.native2013-06-27 22:29 281  
[TXT]MonoidalCategory.v.d2013-06-27 22:29 291  
[TXT]InducedLimitFunctors.v.d2013-06-27 22:29 301  
[ ]DecidableCat.v2013-06-27 22:29 312  
[TXT]SetColimits.v.d2013-06-27 22:29 312  
[TXT]FunctorCategoryFunctorial.v.d2013-06-27 22:29 318  
[TXT]DecidableDiscreteCategoryFunctors.v.d2013-06-27 22:29 323  
[TXT]SpecializedLaxCommaCategory.v.d2013-06-27 22:29 323  
[ ]DefinitionSimplification.glob2013-06-27 22:29 331  
[TXT]CommaCategoryProjectionFunctors.v.d2013-06-27 22:29 338  
[TXT]ExponentialLaws.v.d2013-06-27 22:29 370  
[ ]NatFacts.v2013-06-27 22:29 370  
[ ]DecidableCat.v.rej2013-06-27 22:29 384  
[TXT]CommaCategoryInducedFunctors.v.d2013-06-27 22:29 400  
[ ]NDefinitionSimplification.native2013-06-27 22:29 439  
[ ]Subcategory.v2013-06-27 22:29 449  
[ ]Subcategory.v.orig2013-06-27 22:29 449  
[ ]PullbackFunctor.v2013-06-27 22:29 464  
[ ]PullbackFunctor.v.orig2013-06-27 22:29 466  
[ ]EqualizerFunctor.v2013-06-27 22:29 473  
[ ]EqualizerFunctor.v.orig2013-06-27 22:29 475  
[ ]NatCategory.v2013-06-27 22:29 475  
[ ]NatCategory.v.orig2013-06-27 22:29 475  
[ ]DecidableComputableCategory.v2013-06-27 22:29 507  
[ ]DecidableComputableCategory.v.orig2013-06-27 22:29 508  
[ ]DecidableSetCategory.v2013-06-27 22:29 516  
[ ]DecidableSetCategory.v.orig2013-06-27 22:29 516  
[ ]ProductFunctors.v2013-06-27 22:29 576  
[ ]ProductFunctors.v.orig2013-06-27 22:29 576  
[ ]Subcategory.glob2013-06-27 22:29 585  
[ ]Graph.v2013-06-27 22:29 696  
[ ]PathsCategory.v2013-06-27 22:29 714  
[ ]PathsCategory.v.orig2013-06-27 22:29 714  
[ ]SimplicialSets.v2013-06-27 22:29 727  
[ ]SimplicialSets.v.orig2013-06-27 22:29 728  
[ ]NPullbackFunctor.native2013-06-27 22:29 733  
[ ]NEqualizerFunctor.native2013-06-27 22:29 749  
[ ]ComputableCategory.v2013-06-27 22:29 770  
[ ]ComputableCategory.v.orig2013-06-27 22:29 770  
[TXT]make-each-time-file.sh2013-06-27 22:29 781  
[ ]NatCategory.glob2013-06-27 22:29 800  
[ ]NProductFunctors.native2013-06-27 22:29 819  
[ ]Graph.glob2013-06-27 22:29 825  
[ ]FunctorialComposition.v2013-06-27 22:29 838  
[ ]Products.v2013-06-27 22:29 839  
[ ]Products.v.orig2013-06-27 22:29 839  
[ ]NCommaCategoryFunctorProperties.native2013-06-27 22:29 843  
[ ]FunctorialComposition.v.orig2013-06-27 22:29 844  
[ ]DecidableCat.glob2013-06-27 22:29 854  
[ ]DualFunctor.v2013-06-27 22:29 866  
[ ]DualFunctor.v.orig2013-06-27 22:29 866  
[ ]NSubcategory.native2013-06-27 22:29 866  
[ ]NProducts.native2013-06-27 22:29 893  
[ ]ComputableGraphCategory.v2013-06-27 22:29 900  
[ ]ComputableGraphCategory.v.orig2013-06-27 22:29 900  
[ ]ProductNaturalTransformation.v2013-06-27 22:29 912  
[ ]ProductNaturalTransformation.v.orig2013-06-27 22:29 912  
[ ]PullbackFunctor.glob2013-06-27 22:29 917  
[ ]FunctorCategory.v2013-06-27 22:29 922  
[ ]DefinitionSimplification.v2013-06-27 22:29 923  
[ ]FunctorCategory.v.orig2013-06-27 22:29 926  
[ ]EqualizerFunctor.glob2013-06-27 22:29 936  
[ ]NNatFacts.native2013-06-27 22:29 1.0K 
[ ]StructureEquality.v2013-06-27 22:29 1.0K 
[ ]EquivalenceRelationGenerator.v2013-06-27 22:29 1.0K 
[ ]NatFacts.glob2013-06-27 22:29 1.0K 
[ ]LICENSE2013-06-27 22:29 1.1K 
[ ]ChainCategory.v2013-06-27 22:29 1.1K 
[ ]ChainCategory.v.orig2013-06-27 22:29 1.1K 
[ ]Products.glob2013-06-27 22:29 1.1K 
[ ]ProductFunctors.glob2013-06-27 22:29 1.1K 
[ ]NCat.native2013-06-27 22:29 1.1K 
[ ]PathsCategory.glob2013-06-27 22:29 1.2K 
[ ]Group.v2013-06-27 22:29 1.2K 
[ ]DecidableSetCategory.glob2013-06-27 22:29 1.2K 
[ ]DecidableSmallCat.glob2013-06-27 22:29 1.2K 
[ ]SetCategoryProductFunctor.v2013-06-27 22:29 1.2K 
[ ]SetCategoryProductFunctor.v.orig2013-06-27 22:29 1.2K 
[ ]IndiscreteCategory.v2013-06-27 22:29 1.2K 
[ ]IndiscreteCategory.v.orig2013-06-27 22:29 1.2K 
[ ]LimitFunctors.v2013-06-27 22:29 1.2K 
[ ]LimitFunctors.v.orig2013-06-27 22:29 1.2K 
[ ]BoolCategory.v2013-06-27 22:29 1.2K 
[ ]BoolCategory.v.orig2013-06-27 22:29 1.2K 
[ ]CommaCategoryFunctorProperties.v2013-06-27 22:29 1.2K 
[ ]CommaCategoryFunctorProperties.v.orig2013-06-27 22:29 1.2K 
[TXT]notations.patch2013-06-27 22:29 1.3K 
[ ]StructureEquality.glob2013-06-27 22:29 1.3K 
[ ]SetSchema.v2013-06-27 22:29 1.3K 
[ ]NCategoryEquality.native2013-06-27 22:29 1.3K 
[TXT]make-one-time-file.py2013-06-27 22:29 1.3K 
[ ]DiscreteCategory.v2013-06-27 22:29 1.3K 
[ ]DiscreteCategory.v.orig2013-06-27 22:29 1.3K 
[ ]SemiSimplicialSets.v2013-06-27 22:29 1.4K 
[ ]SemiSimplicialSets.v.orig2013-06-27 22:29 1.4K 
[ ]NSimplicialSets.native2013-06-27 22:29 1.4K 
[ ]Cat.v2013-06-27 22:29 1.4K 
[ ]SimplicialSets.glob2013-06-27 22:29 1.4K 
[ ]DualFunctor.glob2013-06-27 22:29 1.4K 
[ ]PathsCategoryFunctors.v2013-06-27 22:29 1.4K 
[ ]PathsCategoryFunctors.v.orig2013-06-27 22:29 1.4K 
[ ]NSmallCat.native2013-06-27 22:29 1.4K 
[ ]DecidableComputableCategory.glob2013-06-27 22:29 1.4K 
[ ]compare-times-shelf-V2VkIEp1biAyNiAwNToyMzoxMSBFRFQgMjAxMwo=.bak2013-06-27 22:29 1.5K 
[ ]Instance.v2013-06-27 22:29 1.5K 
[ ]Cat.glob2013-06-27 22:29 1.5K 
[ ]Cat.v.rej2013-06-27 22:29 1.5K 
[ ]NFunctorCategory.native2013-06-27 22:29 1.5K 
[ ]ProductCategory.v2013-06-27 22:29 1.6K 
[ ]ProductCategory.v.orig2013-06-27 22:29 1.6K 
[TXT]TimeFileMaker.py2013-06-27 22:29 1.6K 
[ ]NChainCategory.native2013-06-27 22:29 1.6K 
[ ]NComputableCategory.native2013-06-27 22:29 1.7K 
[ ]ComputableCategory.glob2013-06-27 22:29 1.7K 
[ ]SmallCat.glob2013-06-27 22:29 1.7K 
[ ]FunctorCategory.glob2013-06-27 22:29 1.8K 
[ ]IndiscreteCategory.glob2013-06-27 22:29 1.8K 
[ ]FunctorProduct.v2013-06-27 22:29 1.8K 
[ ]GroupCategory.v2013-06-27 22:29 1.8K 
[ ]GroupCategory.v.orig2013-06-27 22:29 1.8K 
[ ]FunctorProduct.v.orig2013-06-27 22:29 1.8K 
[ ]SemiSimplicialSets.glob2013-06-27 22:29 1.8K 
[ ]DecidableDiscreteCategory.v2013-06-27 22:29 1.9K 
[ ]DecidableDiscreteCategory.v.orig2013-06-27 22:29 1.9K 
[ ]NPathsCategory.native2013-06-27 22:29 1.9K 
[ ]NDecidableCat.native2013-06-27 22:29 1.9K 
[ ]CommaCategoryProjection.v2013-06-27 22:29 1.9K 
[ ]CommaCategoryProjection.v.orig2013-06-27 22:29 1.9K 
[ ]ChainCategory.glob2013-06-27 22:29 1.9K 
[ ]SigTSigInducedFunctors.v2013-06-27 22:29 1.9K 
[ ]SigTSigInducedFunctors.v.orig2013-06-27 22:29 1.9K 
[ ]DiscreteCategory.glob2013-06-27 22:29 2.0K 
[ ]NProductNaturalTransformation.native2013-06-27 22:29 2.0K 
[ ]InitialTerminalCategory.v2013-06-27 22:29 2.0K 
[ ]InitialTerminalCategory.v.orig2013-06-27 22:29 2.0K 
[ ]GroupCategory.glob2013-06-27 22:29 2.0K 
[ ]Theorems.v2013-06-27 22:29 2.0K 
[ ]NSemiSimplicialSets.native2013-06-27 22:29 2.0K 
[ ]NNotations.cmx2013-06-27 22:29 2.1K 
[ ]NStructureEquality.cmx2013-06-27 22:29 2.1K 
[ ]NCommaCategoryFunctors.cmx2013-06-27 22:29 2.1K 
[ ]BoolCategory.glob2013-06-27 22:29 2.1K 
[ ]deplists.v2013-06-27 22:29 2.1K 
[TXT]make-both-time-files.py2013-06-27 22:29 2.1K 
[ ]NCategoryEquality.cmx2013-06-27 22:29 2.1K 
[ ]NCommaCategoryFunctorProperties.cmx2013-06-27 22:29 2.1K 
[ ]NNotations.cmi2013-06-27 22:29 2.1K 
[ ]ComputableGraphCategory.glob2013-06-27 22:29 2.1K 
[ ]NStructureEquality.cmi2013-06-27 22:29 2.1K 
[ ]DefinitionSimplification.vo2013-06-27 22:29 2.1K 
[ ]NCommaCategoryFunctors.cmi2013-06-27 22:29 2.2K 
[ ]NNotations.o2013-06-27 22:29 2.2K 
[ ]SigTInducedFunctors.v2013-06-27 22:29 2.2K 
[ ]SigTInducedFunctors.v.orig2013-06-27 22:29 2.2K 
[ ]TimeFileMaker.pyc2013-06-27 22:29 2.3K 
[ ]NStructureEquality.o2013-06-27 22:29 2.3K 
[ ]CommaCategoryProjection.v.rej2013-06-27 22:29 2.3K 
[ ]FunctorialComposition.glob2013-06-27 22:29 2.3K 
[ ]SetCategoryProductFunctor.glob2013-06-27 22:29 2.3K 
[ ]NCommaCategoryFunctors.o2013-06-27 22:29 2.3K 
[ ]ProductInducedFunctors.v2013-06-27 22:29 2.3K 
[ ]ProductInducedFunctors.v.orig2013-06-27 22:29 2.3K 
[ ]NDefinitionSimplification.cmx2013-06-27 22:29 2.3K 
[ ]NPathsCategory.cmx2013-06-27 22:29 2.3K 
[ ]NTheorems.native2013-06-27 22:29 2.4K 
[ ]NDiscreteCategory.native2013-06-27 22:29 2.4K 
[ ]SumCategory.v2013-06-27 22:29 2.4K 
[ ]SumCategory.v.orig2013-06-27 22:29 2.4K 
[ ]NDefinitionSimplification.cmi2013-06-27 22:29 2.4K 
[TXT]replace_imports.py2013-06-27 22:29 2.4K 
[ ]NNatFacts.cmx2013-06-27 22:29 2.4K 
[ ]NComputableGraphCategory.cmx2013-06-27 22:29 2.4K 
[ ]FunctorAttributes.v2013-06-27 22:29 2.5K 
[ ]FunctorAttributes.v.orig2013-06-27 22:29 2.5K 
[ ]compare-times-shelf-VGh1IEp1biAyNyAxNzowNzowMCBFRFQgMjAxMwo=.bak2013-06-27 22:29 2.5K 
[ ]NDualFunctor.native2013-06-27 22:29 2.5K 
[ ]Equalizer.v2013-06-27 22:29 2.5K 
[ ]Equalizer.v.orig2013-06-27 22:29 2.5K 
[ ]NGraph.cmx2013-06-27 22:29 2.5K 
[ ]Group.glob2013-06-27 22:29 2.5K 
[ ]AdjointPointwise.v2013-06-27 22:29 2.5K 
[ ]NDiscreteCategory.cmx2013-06-27 22:29 2.5K 
[ ]AdjointPointwise.v.orig2013-06-27 22:29 2.5K 
[ ]SigTSigCategory.v2013-06-27 22:29 2.5K 
[ ]SigTSigCategory.v.orig2013-06-27 22:29 2.6K 
[ ]NDecidableComputableCategory.native2013-06-27 22:29 2.6K 
[ ]NComputableCategory.cmx2013-06-27 22:29 2.6K 
[ ]ComputableSchemaCategory.v2013-06-27 22:29 2.6K 
[ ]ComputableSchemaCategory.v.orig2013-06-27 22:29 2.6K 
[ ]NFunctorCategory.cmx2013-06-27 22:29 2.6K 
[ ]NCommaCategoryFunctorProperties.cmi2013-06-27 22:29 2.6K 
[ ]NComputableGraphCategory.native2013-06-27 22:29 2.6K 
[ ]NaturalNumbersObject.glob2013-06-27 22:29 2.7K 
[ ]NSetSchema.cmx2013-06-27 22:29 2.7K 
[ ]NTheorems.cmx2013-06-27 22:29 2.7K 
[ ]Groupoid.v2013-06-27 22:29 2.7K 
[ ]TypeclassSimplification.v2013-06-27 22:29 2.7K 
[ ]TypeclassSimplification.v.orig2013-06-27 22:29 2.7K 
[ ]Groupoid.v.orig2013-06-27 22:29 2.7K 
[ ]AdjointComposition.v2013-06-27 22:29 2.7K 
[ ]NPathsCategory.cmi2013-06-27 22:29 2.7K 
[ ]AdjointComposition.v.orig2013-06-27 22:29 2.7K 
[ ]NSigTInducedFunctors.cmx2013-06-27 22:29 2.7K 
[ ]NProductNaturalTransformation.cmx2013-06-27 22:29 2.7K 
[ ]NProductCategory.cmx2013-06-27 22:29 2.7K 
[ ]NSubcategory.o2013-06-27 22:29 2.7K 
[ ]NDualFunctor.cmx2013-06-27 22:29 2.7K 
[ ]NCat.cmx2013-06-27 22:29 2.7K 
[ ]NDecidableComputableCategory.cmi2013-06-27 22:29 2.8K 
[ ]NFunctorialComposition.cmx2013-06-27 22:29 2.8K 
[ ]NDecidableCat.cmi2013-06-27 22:29 2.8K 
[ ]SubobjectClassifier.v2013-06-27 22:29 2.8K 
[ ]SubobjectClassifier.v.orig2013-06-27 22:29 2.8K 
[ ]NDecidableComputableCategory.cmx2013-06-27 22:29 2.8K 
[ ]NSetCategoryProductFunctor.cmx2013-06-27 22:29 2.8K 
[ ]NDefinitionSimplification.o2013-06-27 22:29 2.8K 
[ ]NGroupCategory.cmx2013-06-27 22:29 2.8K 
[ ]NNatFacts.cmi2013-06-27 22:29 2.8K 
[ ]NTypeclassUnreifiedSimplification.cmx2013-06-27 22:29 2.8K 
[ ]NDecidableSmallCat.cmi2013-06-27 22:29 2.8K 
[ ]NTypeclassUnreifiedSimplification.native2013-06-27 22:29 2.8K 
[ ]NDecidableSetCategory.cmi2013-06-27 22:29 2.8K 
[ ]NDecidableSetCategory.cmx2013-06-27 22:29 2.8K 
[ ]NFunctorProduct.cmx2013-06-27 22:29 2.8K 
[ ]CommaCategoryFunctors.vo2013-06-27 22:29 2.8K 
[ ]NSubcategory.cmx2013-06-27 22:29 2.8K 
[ ]NComputableGraphCategory.cmi2013-06-27 22:29 2.9K 
[ ]StructureEquality.vo2013-06-27 22:29 2.9K 
[ ]NDecidableCat.cmx2013-06-27 22:29 2.9K 
[ ]NSigTSigInducedFunctors.cmx2013-06-27 22:29 2.9K 
[ ]NNatCategory.cmx2013-06-27 22:29 2.9K 
[ ]SumInducedFunctors.v2013-06-27 22:29 2.9K 
[ ]NDecidableSmallCat.cmx2013-06-27 22:29 2.9K 
[ ]NSigTSigCategory.cmx2013-06-27 22:29 2.9K 
[ ]SumInducedFunctors.v.orig2013-06-27 22:29 2.9K 
[ ]NIndiscreteCategory.cmx2013-06-27 22:29 2.9K 
[ ]NComputableCategory.cmi2013-06-27 22:29 2.9K 
[ ]NChainCategory.cmx2013-06-27 22:29 2.9K 
[ ]NFunctorCategory.cmi2013-06-27 22:29 2.9K 
[ ]NatCategory.vo2013-06-27 22:29 2.9K 
[ ]NSmallCat.cmx2013-06-27 22:29 2.9K 
[ ]SubobjectClassifier.glob2013-06-27 22:29 3.0K 
[ ]NFunctorialComposition.cmi2013-06-27 22:29 3.0K 
[ ]SetSchema.glob2013-06-27 22:29 3.0K 
[ ]LimitFunctor2CategoryTheorems.v2013-06-27 22:29 3.0K 
[ ]LimitFunctor2CategoryTheorems.v.orig2013-06-27 22:29 3.0K 
[ ]NCategoryEquality.cmi2013-06-27 22:29 3.0K 
[ ]NProductInducedFunctors.cmx2013-06-27 22:29 3.0K 
[ ]NIndiscreteCategory.cmi2013-06-27 22:29 3.0K 
[ ]NBoolCategory.cmx2013-06-27 22:29 3.0K 
[ ]NCat.cmi2013-06-27 22:29 3.0K 
[ ]Notations.v2013-06-27 22:29 3.1K 
[ ]Notations.v.orig2013-06-27 22:29 3.1K 
[ ]IndiscreteCategory.vo2013-06-27 22:29 3.1K 
[ ]NSmallCat.cmi2013-06-27 22:29 3.1K 
[ ]DatabaseConstraints.v2013-06-27 22:29 3.1K 
[ ]NChainCategory.cmi2013-06-27 22:29 3.1K 
[ ]compare-times-shelf-VGh1IEp1biAyNyAxNTozOTo0MiBFRFQgMjAxMwo=.bak2013-06-27 22:29 3.1K 
[ ]Graph.vo2013-06-27 22:29 3.1K 
[ ]SetLimits.v2013-06-27 22:29 3.2K 
[ ]SetLimits.v.orig2013-06-27 22:29 3.2K 
[ ]NDualFunctor.cmi2013-06-27 22:29 3.2K 
[ ]NNatCategory.cmi2013-06-27 22:29 3.2K 
[ ]NDiscreteCategory.cmi2013-06-27 22:29 3.2K 
[ ]NTheorems.cmi2013-06-27 22:29 3.2K 
[ ]NProductNaturalTransformation.cmi2013-06-27 22:29 3.2K 
[ ]NProductCategory.cmi2013-06-27 22:29 3.2K 
[ ]NGroupCategory.cmi2013-06-27 22:29 3.2K 
[ ]NAdjointComposition.cmx2013-06-27 22:29 3.2K 
[ ]NGraph.native2013-06-27 22:29 3.3K 
[ ]NGraphTranslation.cmx2013-06-27 22:29 3.3K 
[ ]NSimplicialSets.cmx2013-06-27 22:29 3.3K 
[ ]NDuals.cmx2013-06-27 22:29 3.3K 
[ ]NMetaTranslation.cmx2013-06-27 22:29 3.3K 
[ ]NSetSchema.cmi2013-06-27 22:29 3.3K 
[ ]NSigCategory.cmx2013-06-27 22:29 3.3K 
[ ]NPathsCategoryFunctors.cmx2013-06-27 22:29 3.3K 
[ ]NYoneda.cmx2013-06-27 22:29 3.3K 
[ ]LimitFunctors.glob2013-06-27 22:29 3.4K 
[ ]NSimplicialSets.cmi2013-06-27 22:29 3.4K 
[ ]NSigTCategory.cmx2013-06-27 22:29 3.4K 
[ ]NSigTSigInducedFunctors.cmi2013-06-27 22:29 3.4K 
[ ]GraphTranslation.v2013-06-27 22:29 3.4K 
[ ]NBoolCategory.cmi2013-06-27 22:29 3.4K 
[ ]NSetCategoryProductFunctor.cmi2013-06-27 22:29 3.4K 
[ ]MetaTranslation.v2013-06-27 22:29 3.4K 
[ ]NGraph.cmi2013-06-27 22:29 3.4K 
[ ]NSemiSimplicialSets.cmx2013-06-27 22:29 3.4K 
[ ]NProducts.cmx2013-06-27 22:29 3.4K 
[ ]NFunctorAttributes.cmx2013-06-27 22:29 3.4K 
[ ]Coend.v2013-06-27 22:29 3.4K 
[ ]Coend.v.orig2013-06-27 22:29 3.5K 
[ ]NProductFunctors.o2013-06-27 22:29 3.5K 
[ ]DecidableCat.vo2013-06-27 22:29 3.5K 
[ ]NPullbackFunctor.cmx2013-06-27 22:29 3.5K 
[ ]DecidableComputableCategory.vo2013-06-27 22:29 3.5K 
[ ]NEqualizerFunctor.cmx2013-06-27 22:29 3.5K 
[ ]NCommaCategoryFunctorProperties.o2013-06-27 22:29 3.5K 
[ ]NCommaCategoryProjection.cmx2013-06-27 22:29 3.6K 
[ ]NHom.cmx2013-06-27 22:29 3.6K 
[ ]Makefile2013-06-27 22:29 3.6K 
[ ]Makefile.orig2013-06-27 22:29 3.6K 
[ ]NInducedLimitFunctors.cmx2013-06-27 22:29 3.6K 
[ ]NInstance.cmx2013-06-27 22:29 3.6K 
[ ]NSigTInducedFunctors.cmi2013-06-27 22:29 3.6K 
[ ]NSumInducedFunctors.cmx2013-06-27 22:29 3.6K 
[ ]NAdjointPointwise.cmx2013-06-27 22:29 3.6K 
[ ]NPullbackFunctor.cmi2013-06-27 22:29 3.7K 
[ ]NFEqualDep.cmx2013-06-27 22:29 3.7K 
[ ]NEqualizerFunctor.cmi2013-06-27 22:29 3.7K 
[ ]NSigSigTCategory.cmx2013-06-27 22:29 3.7K 
[ ]NProducts.cmi2013-06-27 22:29 3.7K 
[ ]NPullbackFunctor.o2013-06-27 22:29 3.7K 
[ ]NBoolCategory.native2013-06-27 22:29 3.7K 
[ ]NEqualizerFunctor.o2013-06-27 22:29 3.7K 
[ ]NProductFunctors.cmi2013-06-27 22:29 3.7K 
[ ]NSemiSimplicialSets.cmi2013-06-27 22:29 3.7K 
[ ]NAdjointUnit.cmx2013-06-27 22:29 3.8K 
[ ]NProductFunctors.cmx2013-06-27 22:29 3.8K 
[ ]NGroup.cmx2013-06-27 22:29 3.8K 
[ ]NLimitFunctorTheorems.cmx2013-06-27 22:29 3.8K 
[ ]NSetLimits.cmx2013-06-27 22:29 3.8K 
[ ]GrothendieckCat.v2013-06-27 22:29 3.8K 
[ ]NFunctorAttributes.cmi2013-06-27 22:29 3.8K 
[ ]GrothendieckCat.v.orig2013-06-27 22:29 3.8K 
[ ]PathsCategory.vo2013-06-27 22:29 3.9K 
[ ]NTypeclassSimplification.cmx2013-06-27 22:29 3.9K 
[ ]Hom.v2013-06-27 22:29 3.9K 
[ ]Hom.v.orig2013-06-27 22:29 3.9K 
[ ]NFunctorProduct.cmi2013-06-27 22:29 3.9K 
[ ]NProductLaws.cmx2013-06-27 22:29 3.9K 
[ ]NInitialTerminalCategory.cmx2013-06-27 22:29 4.0K 
[ ]NSubcategory.cmi2013-06-27 22:29 4.0K 
[ ]NDecidableDiscreteCategory.cmx2013-06-27 22:29 4.0K 
[ ]LimitFunctorTheorems.v2013-06-27 22:29 4.0K 
[ ]LimitFunctorTheorems.v.orig2013-06-27 22:29 4.0K 
[ ]Paths.v2013-06-27 22:29 4.0K 
[ ]NGrothendieckFunctorial.cmx2013-06-27 22:29 4.1K 
[ ]DecidableSetCategory.vo2013-06-27 22:29 4.1K 
[ ]NCategory.cmx2013-06-27 22:29 4.1K 
[ ]NCommaCategoryProjection.cmi2013-06-27 22:29 4.1K 
[ ]NAdjointComposition.cmi2013-06-27 22:29 4.1K 
[ ]NIndiscreteCategory.native2013-06-27 22:29 4.1K 
[ ]SigSigTCategory.v2013-06-27 22:29 4.1K 
[ ]SigSigTCategory.v.orig2013-06-27 22:29 4.1K 
[ ]NMetaEquivalence.cmx2013-06-27 22:29 4.1K 
[ ]NNatFacts.o2013-06-27 22:29 4.1K 
[ ]NCoend.cmx2013-06-27 22:29 4.2K 
[ ]NProducts.o2013-06-27 22:29 4.2K 
[ ]DecidableDiscreteCategory.glob2013-06-27 22:29 4.2K 
[ ]Grothendieck.v2013-06-27 22:29 4.2K 
[ ]Grothendieck.v.orig2013-06-27 22:29 4.2K 
[ ]NAdjointUniversalMorphisms.cmx2013-06-27 22:29 4.2K 
[ ]NFunctorProduct.native2013-06-27 22:29 4.3K 
[ ]NFunctorCategoryFunctorial.cmx2013-06-27 22:29 4.3K 
[ ]GrothendieckFunctorial.v2013-06-27 22:29 4.3K 
[ ]GrothendieckFunctorial.v.orig2013-06-27 22:29 4.3K 
[ ]NDiscreteCategoryFunctors.cmx2013-06-27 22:29 4.3K 
[ ]NNaturalNumbersObject.cmx2013-06-27 22:29 4.3K 
[ ]NSetCategory.cmx2013-06-27 22:29 4.3K 
[ ]CommaCategoryFunctorProperties.glob2013-06-27 22:29 4.3K 
[ ]NDuals.cmi2013-06-27 22:29 4.3K 
[ ]NCoend.cmi2013-06-27 22:29 4.4K 
[ ]NAdjointPointwise.cmi2013-06-27 22:29 4.4K 
[ ]NLimitFunctors.cmx2013-06-27 22:29 4.4K 
[ ]DecidableSmallCat.vo2013-06-27 22:29 4.5K 
[ ]ProductLaws.v2013-06-27 22:29 4.5K 
[ ]ProductLaws.v.orig2013-06-27 22:29 4.5K 
[ ]PathsCategoryFunctors.glob2013-06-27 22:29 4.5K 
[ ]NGroupoid.cmx2013-06-27 22:29 4.5K 
[ ]NCat.o2013-06-27 22:29 4.5K 
[ ]NSubobjectClassifier.cmx2013-06-27 22:29 4.5K 
[ ]EqualizerFunctor.vo2013-06-27 22:29 4.5K 
[ ]NSumCategory.cmx2013-06-27 22:29 4.5K 
[ ]Duals.v2013-06-27 22:29 4.6K 
[ ]PullbackFunctor.vo2013-06-27 22:29 4.6K 
[ ]ProductNaturalTransformation.glob2013-06-27 22:29 4.6K 
[ ]InitialTerminalCategory.glob2013-06-27 22:29 4.6K 
[ ]NGrothendieck.cmx2013-06-27 22:29 4.6K 
[ ]Duals.v.orig2013-06-27 22:29 4.6K 
[ ]NSigTInducedFunctors.native2013-06-27 22:29 4.6K 
[ ]Instance.glob2013-06-27 22:29 4.6K 
[ ]NTypeclassUnreifiedSimplification.cmi2013-06-27 22:29 4.6K 
[ ]NEqdep_dec_one_variable.cmx2013-06-27 22:29 4.7K 
[ ]NProductInducedFunctors.cmi2013-06-27 22:29 4.7K 
[ ]NSigTSigCategory.cmi2013-06-27 22:29 4.7K 
[ ]NaturalNumbersObject.v2013-06-27 22:29 4.7K 
[ ]NaturalNumbersObject.v.orig2013-06-27 22:29 4.7K 
[ ]ComputableCategory.vo2013-06-27 22:29 4.7K 
[ ]NLimitFunctors.cmi2013-06-27 22:29 4.7K 
[ ]NSmallTranslation.cmx2013-06-27 22:29 4.7K 
[ ]NCategoryEquality.o2013-06-27 22:29 4.7K 
[ ]CoendFunctor.v2013-06-27 22:29 4.8K 
[ ]CoendFunctor.v.orig2013-06-27 22:29 4.8K 
[ ]SQLQueries.v2013-06-27 22:29 4.8K 
[ ]NSetCategoryFacts.cmx2013-06-27 22:29 4.8K 
[ ]NGroupCategory.native2013-06-27 22:29 4.8K 
[ ]NYoneda.cmi2013-06-27 22:29 4.8K 
[ ]EquivalenceRelationGenerator.glob2013-06-27 22:29 4.8K 
[ ]ComputableGraphCategory.vo2013-06-27 22:29 4.8K 
[ ]NSetColimits.cmx2013-06-27 22:29 4.8K 
[ ]NTranslation.cmx2013-06-27 22:29 4.9K 
[ ]NSpecializedCategory.cmx2013-06-27 22:29 4.9K 
[ ]NEnrichedCategory.cmx2013-06-27 22:29 4.9K 
[ ]NPathsCategoryFunctors.cmi2013-06-27 22:29 4.9K 
[ ]NSmallCat.o2013-06-27 22:29 4.9K 
[ ]NSQLQueries.cmx2013-06-27 22:29 5.0K 
[ ]ProductFunctors.vo2013-06-27 22:29 5.0K 
[ ]NPathsCategory.o2013-06-27 22:29 5.0K 
[ ]NSetLimits.cmi2013-06-27 22:29 5.0K 
[ ]NFunctor.cmx2013-06-27 22:29 5.0K 
[ ]FunctorCategory.vo2013-06-27 22:29 5.1K 
[ ]Subcategory.vo2013-06-27 22:29 5.1K 
[ ]NEquivalenceRelationGenerator.cmx2013-06-27 22:29 5.1K 
[ ]NSmallSchema.cmx2013-06-27 22:29 5.1K 
[ ]NPaths.cmx2013-06-27 22:29 5.2K 
[ ]SumCategory.glob2013-06-27 22:29 5.2K 
[ ]NProductNaturalTransformation.o2013-06-27 22:29 5.2K 
[ ]NNaturalTransformation.cmx2013-06-27 22:29 5.2K 
[ ]NInitialTerminalCategory.cmi2013-06-27 22:29 5.2K 
[ ]NInducedLimitFunctors.cmi2013-06-27 22:29 5.2K 
[ ]NFunctorCategory.o2013-06-27 22:29 5.3K 
[ ]Graphs.v2013-06-27 22:29 5.3K 
[ ]Graphs.v.orig2013-06-27 22:29 5.3K 
[ ]NFunctorIsomorphisms.cmx2013-06-27 22:29 5.3K 
[ ]NCommaCategoryInducedFunctors.cmx2013-06-27 22:29 5.3K 
[ ]NCommaCategoryProjectionFunctors.cmx2013-06-27 22:29 5.4K 
[ ]NDecidableCat.o2013-06-27 22:29 5.4K 
[ ]NChainCategory.o2013-06-27 22:29 5.4K 
[ ]NHom.cmi2013-06-27 22:29 5.5K 
[ ]CanonicalStructureSimplification.v2013-06-27 22:29 5.5K 
[ ]CanonicalStructureSimplification.v.orig2013-06-27 22:29 5.5K 
[ ]NDecidableDiscreteCategory.cmi2013-06-27 22:29 5.5K 
[ ]NGroup.cmi2013-06-27 22:29 5.5K 
[ ]ProductCategory.glob2013-06-27 22:29 5.5K 
[ ]NSimplicialSets.o2013-06-27 22:29 5.5K 
[ ]NDecidableComputableCategory.o2013-06-27 22:29 5.6K 
[ ]Notations.vo2013-06-27 22:29 5.6K 
[ ]Products.vo2013-06-27 22:29 5.6K 
[ ]NAdjoint.cmx2013-06-27 22:29 5.6K 
[ ]NGrothendieckFunctorial.cmi2013-06-27 22:29 5.6K 
[ ]DiscreteCategoryFunctors.v2013-06-27 22:29 5.6K 
[ ]DiscreteCategoryFunctors.v.orig2013-06-27 22:29 5.6K 
[ ]AdjointUnit.glob2013-06-27 22:29 5.6K 
[ ]DiscreteCategory.vo2013-06-27 22:29 5.6K 
[ ]NGraphs.cmx2013-06-27 22:29 5.7K 
[ ]NMonoidalCategory.cmx2013-06-27 22:29 5.7K 
[ ]NAdjointUniversalMorphisms.cmi2013-06-27 22:29 5.7K 
[ ]NGraphTranslation.cmi2013-06-27 22:29 5.7K 
[ ]SetCategory.v2013-06-27 22:29 5.7K 
[ ]SetCategory.v.orig2013-06-27 22:29 5.7K 
[ ]NYoneda.native2013-06-27 22:29 5.7K 
[ ]NNatCategory.native2013-06-27 22:29 5.8K 
[ ]NDualFunctor.o2013-06-27 22:29 5.8K 
[ ]NNaturalNumbersObject.cmi2013-06-27 22:29 5.8K 
[ ]NExponentialLaws.cmx2013-06-27 22:29 5.8K 
[ ]time-of-build-after-pretty.log2013-06-27 22:29 5.8K 
[ ]NComputableCategory.o2013-06-27 22:29 5.9K 
[ ]NCanonicalStructureSimplification.cmx2013-06-27 22:29 5.9K 
[ ]FunctorProduct.glob2013-06-27 22:29 5.9K 
[ ]AdjointUnit.v2013-06-27 22:29 5.9K 
[ ]NSubobjectClassifier.cmi2013-06-27 22:29 6.0K 
[ ]NSetCategory.cmi2013-06-27 22:29 6.1K 
[ ]NMetaTranslation.cmi2013-06-27 22:29 6.1K 
[ ]FunctorAttributes.glob2013-06-27 22:29 6.2K 
[ ]NEqualizer.cmx2013-06-27 22:29 6.2K 
[ ]NDecidableSetCategory.native2013-06-27 22:29 6.2K 
[ ]CommaCategoryProjection.glob2013-06-27 22:29 6.2K 
[ ]NCorrespondences.cmx2013-06-27 22:29 6.2K 
[ ]NDiscreteCategoryFunctors.cmi2013-06-27 22:29 6.2K 
[ ]Yoneda.v2013-06-27 22:29 6.2K 
[ ]NDecidableSmallCat.native2013-06-27 22:29 6.2K 
[ ]Yoneda.v.orig2013-06-27 22:29 6.2K 
[ ]ProductNaturalTransformation.vo2013-06-27 22:29 6.3K 
[ ]compare-times-shelf-VHVlIEp1biAyNSAxNjo0ODoyNSBFRFQgMjAxMwo=.bak2013-06-27 22:29 6.4K 
[ ]NLimits.cmx2013-06-27 22:29 6.4K 
[ ]NSigCategory.cmi2013-06-27 22:29 6.4K 
[ ]SigCategory.v2013-06-27 22:29 6.4K 
[ ]NInstance.cmi2013-06-27 22:29 6.4K 
[ ]SigCategory.v.orig2013-06-27 22:29 6.4K 
[ ]CommaCategory.v.orig2013-06-27 22:29 6.5K 
[ ]SumInducedFunctors.glob2013-06-27 22:29 6.6K 
[ ]InducedLimitFunctors.v2013-06-27 22:29 6.6K 
[ ]InducedLimitFunctors.v.orig2013-06-27 22:29 6.6K 
[ ]NTypeclassSimplification.cmi2013-06-27 22:29 6.6K 
[ ]FunctorIsomorphisms.v2013-06-27 22:29 6.6K 
[ ]FunctorIsomorphisms.v.orig2013-06-27 22:29 6.7K 
[ ]SigTInducedFunctors.glob2013-06-27 22:29 6.7K 
[ ]DatabaseConstraints.glob2013-06-27 22:29 6.7K 
[ ]NDiscreteCategory.o2013-06-27 22:29 6.7K 
[ ]NEqdep_dec_one_variable.cmi2013-06-27 22:29 6.7K 
[ ]NComputableGraphCategory.o2013-06-27 22:29 6.7K 
[ ]Limits.v2013-06-27 22:29 6.7K 
[ ]Limits.v.orig2013-06-27 22:29 6.7K 
[ ]NDatabaseConstraints.cmx2013-06-27 22:29 6.7K 
[ ]SmallSchema.v2013-06-27 22:29 6.7K 
[ ]NProductLaws.cmi2013-06-27 22:29 6.7K 
[ ]NProductInducedFunctors.native2013-06-27 22:29 6.7K 
[ ]NPathsCategoryFunctors.native2013-06-27 22:29 6.8K 
[ ]TypeclassSimplification.glob2013-06-27 22:29 6.8K 
[ ]NTheorems.o2013-06-27 22:29 6.8K 
[ ]NLimitFunctorTheorems.cmi2013-06-27 22:29 6.8K 
[ ]NJMeq.o2013-06-27 22:29 6.9K 
[ ]NAdjointUnit.cmi2013-06-27 22:29 6.9K 
[ ]FEqualDep.v2013-06-27 22:29 6.9K 
[ ]NEnrichedCategory.cmi2013-06-27 22:29 7.0K 
[ ]NLaxCommaCategory.cmx2013-06-28 00:34 7.0K 
[ ]NSetCategoryFacts.cmi2013-06-27 22:29 7.0K 
[ ]SigTSigInducedFunctors.glob2013-06-27 22:29 7.0K 
[ ]DualFunctor.vo2013-06-27 22:29 7.0K 
[ ]Theorems.glob2013-06-27 22:29 7.0K 
[ ]NMetaEquivalence.cmi2013-06-27 22:29 7.0K 
[ ]test.v2013-06-27 22:29 7.1K 
[ ]NSumInducedFunctors.cmi2013-06-27 22:29 7.1K 
[ ]SetLimits.glob2013-06-27 22:29 7.1K 
[ ]SetCategoryFacts.v2013-06-27 22:29 7.1K 
[ ]SetCategoryFacts.v.orig2013-06-27 22:29 7.1K 
[ ]SigTCategory.v2013-06-27 22:29 7.2K 
[ ]AdjointComposition.glob2013-06-27 22:29 7.2K 
[ ]SigTCategory.v.orig2013-06-27 22:29 7.2K 
[ ]CommaCategoryProjectionFunctors.v2013-06-27 22:29 7.3K 
[ ]CommaCategoryProjectionFunctors.v.orig2013-06-27 22:29 7.3K 
[ ]NCommaCategoryProjectionFunctors.cmi2013-06-27 22:29 7.4K 
[ ]Cat.vo2013-06-27 22:29 7.4K 
[ ]time-of-build-both-old.log2013-06-27 22:29 7.4K 
[ ]time-of-build-both-pre.log2013-06-27 22:29 7.4K 
[ ]NaturalNumbersObject.vo2013-06-27 22:29 7.4K 
[ ]Group.vo2013-06-27 22:29 7.5K 
[ ]time-of-build-both-locked.log2013-06-27 22:29 7.5K 
[ ]time-of-build-both.log2013-06-27 22:29 7.5K 
[ ]NEqdepFacts_one_variable.cmx2013-06-27 22:29 7.5K 
[ ]AdjointUniversalMorphisms.v2013-06-27 22:29 7.6K 
[ ]AdjointUniversalMorphisms.v.orig2013-06-27 22:29 7.6K 
[ ]NSetColimits.cmi2013-06-27 22:29 7.6K 
[ ]DatabaseMorphisms.v2013-06-27 22:29 7.6K 
[ ]NSigTInducedFunctors.o2013-06-27 22:29 7.7K 
[ ]NSigSigTCategory.cmi2013-06-27 22:29 7.7K 
[ ]NCategory.cmi2013-06-27 22:29 7.8K 
[ ]SigTSigCategory.glob2013-06-27 22:29 7.9K 
[ ]TypeclassUnreifiedSimplification.v2013-06-27 22:29 7.9K 
[ ]TypeclassUnreifiedSimplification.v.orig2013-06-27 22:29 7.9K 
[ ]NSigTCategory.cmi2013-06-27 22:29 7.9K 
[ ]NIndiscreteCategory.o2013-06-27 22:29 7.9K 
[ ]Examples.v2013-06-27 22:29 8.0K 
[ ]NSemiSimplicialSets.o2013-06-27 22:29 8.0K 
[ ]NCoendFunctor.cmx2013-06-27 22:29 8.0K 
[ ]NSpecializedLaxCommaCategory.cmx2013-06-27 22:29 8.0K 
[ ]NNaturalEquivalence.cmx2013-06-27 22:29 8.2K 
[ ]NGroupoid.cmi2013-06-27 22:29 8.2K 
[ ]NTypeclassUnreifiedSimplification.o2013-06-27 22:29 8.2K 
[ ]NDecidableSmallCat.o2013-06-27 22:29 8.2K 
[ ]NCommaCategory.cmx2013-06-27 22:29 8.2K 
[ ]NFEqualDep.cmi2013-06-27 22:29 8.2K 
[ ]SmallCat.vo2013-06-27 22:29 8.2K 
[ ]NSchema.cmx2013-06-27 22:29 8.2K 
[ ]NUniversalProperties.cmx2013-06-27 22:29 8.2K 
[ ]GroupCategory.vo2013-06-27 22:29 8.3K 
[ ]DecidableDiscreteCategoryFunctors.v2013-06-27 22:29 8.3K 
[ ]DecidableDiscreteCategoryFunctors.v.orig2013-06-27 22:29 8.3K 
[ ]NFunctorCategoryFunctorial.cmi2013-06-27 22:29 8.3K 
[ ]NSQLQueries.cmi2013-06-27 22:29 8.4K 
[ ]NEquivalenceRelationGenerator.cmi2013-06-27 22:29 8.4K 
[ ]NGraphTranslation.native2013-06-27 22:29 8.4K 
[ ]NBoolCategory.o2013-06-27 22:29 8.5K 
[ ]BoolCategory.vo2013-06-27 22:29 8.5K 
[ ]NGrothendieck.cmi2013-06-27 22:29 8.5K 
[ ]NFunctorProduct.o2013-06-27 22:29 8.6K 
[TXT]backup.patch2013-06-27 22:29 8.6K 
[ ]SubobjectClassifier.vo2013-06-27 22:29 8.6K 
[ ]PathsCategoryFunctors.vo2013-06-27 22:29 8.7K 
[ ]NSumCategory.cmi2013-06-27 22:29 8.7K 
[ ]compare-times-shelf-V2VkIEp1biAyNiAwMDo1MDo1MiBFRFQgMjAxMwo=.bak2013-06-27 22:29 8.8K 
[ ]NSpecializedCategory.cmi2013-06-27 22:29 8.8K 
[ ]AdjointPointwise.glob2013-06-27 22:29 8.9K 
[ ]NEquivalenceSet.cmx2013-06-27 22:29 8.9K 
[ ]NExamples.cmx2013-06-27 22:29 8.9K 
[ ]NSmallTranslation.cmi2013-06-27 22:29 8.9K 
[ ]compare-times-shelf-V2VkIEp1biAyNiAwMjo1NDo1NCBFRFQgMjAxMwo=.bak2013-06-27 22:29 8.9K 
[ ]Correspondences.v2013-06-27 22:29 9.0K 
[ ]Correspondences.v.orig2013-06-27 22:29 9.0K 
[ ]NCategoryIsomorphisms.cmx2013-06-27 22:29 9.0K 
[ ]EquivalenceRelationGenerator.vo2013-06-27 22:29 9.0K 
[ ]Equalizer.glob2013-06-27 22:29 9.1K 
[ ]LaxCommaCategory-time.log2013-06-28 00:34 9.2K 
[ ]NMonoidalCategory.cmi2013-06-27 22:29 9.4K 
[ ]MetaTranslation.glob2013-06-27 22:29 9.4K 
[ ]SQLQueries.glob2013-06-27 22:29 9.4K 
[ ]Database.v2013-06-27 22:29 9.4K 
[ ]NLimits.cmi2013-06-27 22:29 9.5K 
[ ]compare-times-shelf-VHVlIEp1biAyNSAyMDozNDo1MCBFRFQgMjAxMwo=.bak2013-06-27 22:29 9.5K 
[ ]NSpecializedCommaCategory.cmx2013-06-27 22:29 9.6K 
[ ]Translation.v2013-06-27 22:29 9.6K 
[ ]NDecidableSetCategory.o2013-06-27 22:29 9.6K 
[ ]CommaCategoryProjectionFunctors.v.rej2013-06-27 22:29 9.7K 
[ ]NGroupCategory.o2013-06-27 22:29 9.7K 
[ ]NSigTSigInducedFunctors.native2013-06-27 22:29 9.7K 
[ ]CategoryEquality.glob2013-06-27 22:29 9.7K 
[ ]MetaEquivalence.v2013-06-27 22:29 9.7K 
[ ]CommaCategory.v2013-06-27 22:29 9.8K 
[ ]Limits.glob2013-06-27 22:29 9.9K 
[ ]NCommaCategoryInducedFunctors.cmi2013-06-27 22:29 10K 
[ ]NSigTSigInducedFunctors.o2013-06-27 22:29 10K 
[ ]CommaCategory.v.rej2013-06-27 22:29 10K 
[ ]FunctorCategoryFunctorial.v2013-06-27 22:29 10K 
[ ]Pullback.v2013-06-27 22:29 10K 
[ ]Pullback.v.orig2013-06-27 22:29 10K 
[ ]SetCategory.glob2013-06-27 22:29 10K 
[ ]FunctorCategoryFunctorial.v.orig2013-06-27 22:29 10K 
[ ]CommaCategoryInducedFunctors.v2013-06-27 22:29 10K 
[ ]CommaCategoryInducedFunctors.v.orig2013-06-27 22:29 10K 
[ ]NTranslation.cmi2013-06-27 22:29 10K 
[ ]Eqdep_dec_one_variable.v2013-06-27 22:29 10K 
[ ]NSmallSchema.cmi2013-06-27 22:29 10K 
[ ]NCanonicalStructureSimplification.cmi2013-06-27 22:29 10K 
[ ]Coend.glob2013-06-27 22:29 10K 
[ ]NGraphs.cmi2013-06-27 22:29 11K 
[ ]NEquivalenceRelationGenerator.native2013-06-27 22:29 11K 
[ ]GraphTranslation.glob2013-06-27 22:29 11K 
[ ]NPullback.cmx2013-06-27 22:29 11K 
[ ]NLimitFunctors.native2013-06-27 22:29 11K 
[ ]NNatCategory.o2013-06-27 22:29 11K 
[ ]m) (fst (projT1 αβf)) (fst (projT1 α'β'f'))) * (B.(Morphism) (snd (projT1 αβf)) (snd (projT1 α'β'f'))) |2013-06-27 22:29 11K 
[ ]m_Id : CommaSpecializedCategory_MorphismT >-> sig.2013-06-27 22:29 11K 
[ ]NGraph.o2013-06-27 22:29 11K 
[ ]NDatabaseMorphisms.cmx2013-06-27 22:29 11K 
[ ]FunctorialComposition.vo2013-06-27 22:29 11K 
[ ]SetColimits.v2013-06-27 22:29 11K 
[ ]SetColimits.v.orig2013-06-27 22:29 11K 
[ ]Hom.glob2013-06-27 22:29 11K 
[ ]SpecializedCommaCategory.v.orig2013-06-27 22:29 11K 
[ ]GrothendieckFunctorial.glob2013-06-27 22:29 11K 
[ ]FunctorProduct.vo2013-06-27 22:29 11K 
[ ]NFunctorIsomorphisms.cmi2013-06-27 22:29 11K 
[ ]NNotations.cmxs2013-06-27 22:29 11K 
[ ]Paths.glob2013-06-27 22:29 11K 
[ ]NDuals.native2013-06-27 22:29 11K 
[ ]Grothendieck.glob2013-06-27 22:29 11K 
[ ]NStructureEquality.cmxs2013-06-27 22:29 11K 
[ ]NEqualizer.cmi2013-06-27 22:29 11K 
[ ]NCommaCategoryFunctors.cmxs2013-06-27 22:29 11K 
[ ]Makefile.coq2013-06-27 22:29 12K 
[ ]Duals.glob2013-06-27 22:29 12K 
[ ]CommaCategoryInducedFunctors.v.rej2013-06-27 22:29 12K 
[ ]NCorrespondences.cmi2013-06-27 22:29 12K 
[ ]ProductCategory.vo2013-06-27 22:29 12K 
[ ]NCommaCategoryFunctorProperties.cmxs2013-06-27 22:29 12K 
[ ]NSubcategory.cmxs2013-06-27 22:29 12K 
[ ]NInitialTerminalCategory.native2013-06-27 22:29 12K 
[ ]SmallTranslation.v2013-06-27 22:29 12K 
[ ]NProductInducedFunctors.o2013-06-27 22:29 12K 
[ ]NDefinitionSimplification.cmxs2013-06-27 22:29 12K 
[ ]NCategoryEquality.cmxs2013-06-27 22:29 12K 
[ ]Category.v2013-06-27 22:29 12K 
[ ]SigTSigInducedFunctors.vo2013-06-27 22:29 12K 
[ ]NFunctorialComposition.o2013-06-27 22:29 12K 
[ ]NPaths.cmi2013-06-27 22:29 12K 
[ ]NNatFacts.cmxs2013-06-27 22:29 12K 
[ ]NFEqualDep.native2013-06-27 22:29 12K 
[ ]CategoryIsomorphisms.v2013-06-27 22:29 13K 
[ ]NGrothendieckFunctorial.native2013-06-27 22:29 13K 
[ ]CategoryIsomorphisms.v.orig2013-06-27 22:29 13K 
[ ]NEquivalenceClass.cmx2013-06-27 22:29 13K 
[ ]InitialTerminalCategory.vo2013-06-27 22:29 13K 
[ ]EnrichedCategory.v2013-06-27 22:29 13K 
[ ]EnrichedCategory.v.orig2013-06-27 22:29 13K 
[ ]NLtacReifiedSimplification.cmx2013-06-27 22:29 13K 
[ ]NDatabaseConstraints.cmi2013-06-27 22:29 13K 
[ ]ProductLaws.glob2013-06-27 22:29 13K 
[ ]SpecializedCategory.v.orig2013-06-27 22:29 13K 
[ ]NGroupoid.native2013-06-27 22:29 13K 
[ ]SQLQueries.vo2013-06-27 22:29 13K 
[ ]SetCategoryProductFunctor.vo2013-06-27 22:29 13K 
[ ]DiscreteCategoryFunctors.glob2013-06-27 22:29 13K 
[ ]Functor.v2013-06-27 22:29 13K 
[ ]Functor.v.orig2013-06-27 22:29 13K 
[ ]LtacReifiedSimplification.v2013-06-27 22:29 13K 
[ ]LtacReifiedSimplification.v.orig2013-06-27 22:29 13K 
[ ]LimitFunctors.vo2013-06-27 22:29 13K 
[ ]EqdepFacts_one_variable.v2013-06-27 22:29 13K 
[ ]NExponentialLaws.cmi2013-06-27 22:29 13K 
[ ]NTypeclassSimplification.native2013-06-27 22:29 13K 
[ ]NaturalEquivalence.v2013-06-27 22:29 14K 
[ ]NaturalEquivalence.v.orig2013-06-27 22:29 14K 
[ ]NDatabase.cmx2013-06-27 22:29 14K 
[ ]NNaturalTransformation.cmi2013-06-27 22:29 14K 
[ ]NCommon.cmx2013-06-27 22:29 14K 
[ ]NMetaEquivalence.native2013-06-27 22:29 14K 
[ ]TypeclassSimplification.vo2013-06-27 22:29 14K 
[ ]NPathsCategoryFunctors.o2013-06-27 22:29 14K 
[ ]NFunctor.cmi2013-06-27 22:29 14K 
[ ]Groupoid.vo2013-06-27 22:29 14K 
[ ]NFunctorialComposition.native2013-06-27 22:29 14K 
[ ]NAdjoint.cmi2013-06-27 22:29 14K 
[ ]test2.v2013-06-27 22:29 14K 
[ ]ProductInducedFunctors.glob2013-06-27 22:29 14K 
[ ]NPullbackFunctor.cmxs2013-06-27 22:29 14K 
[ ]NEqualizerFunctor.cmxs2013-06-27 22:29 14K 
[ ]NProductFunctors.cmxs2013-06-27 22:29 14K 
[ ]Graphs.glob2013-06-27 22:29 14K 
[ ]Yoneda.glob2013-06-27 22:29 14K 
[ ]Instance.vo2013-06-27 22:29 15K 
[ ]SetSchema.vo2013-06-27 22:29 15K 
[ ]SigCategory.glob2013-06-27 22:29 15K 
[ ]Category.v.orig2013-06-27 22:29 15K 
[ ]Theorems.vo2013-06-27 22:29 15K 
[ ]AdjointUnit.vo2013-06-27 22:29 15K 
[ ]compare-times-shelf-VGh1IE1heSAyMyAxOTowNDo0NyBFRFQgMjAxMwo=.bak2013-06-27 22:29 15K 
[ ]compare-times-shelf-VGh1IE1heSAyMyAxOTozMDoxNCBFRFQgMjAxMwo=.bak2013-06-27 22:29 15K 
[ ]FunctorAttributes.vo2013-06-27 22:29 15K 
[ ]LaxCommaCategory.v2013-06-27 22:29 15K 
[ ]LaxCommaCategory.v.orig2013-06-27 22:29 15K 
[ ]NYoneda.o2013-06-27 22:29 15K 
[ ]ChainCategory.vo2013-06-27 22:29 15K 
[ ]NSubobjectClassifier.native2013-06-27 22:29 15K 
[ ]ExponentialLaws.v2013-06-27 22:29 15K 
[ ]ExponentialLaws.v.orig2013-06-27 22:29 15K 
[ ]NCoendFunctor.cmi2013-06-27 22:29 15K 
[ ]DatabaseConstraints.vo2013-06-27 22:29 15K 
[ ]NProducts.cmxs2013-06-27 22:29 15K 
[ ]NSimplicialSets.cmxs2013-06-27 22:29 16K 
[ ]GetArguments.v2013-06-27 22:29 16K 
[ ]SimplicialSets.vo2013-06-27 22:29 16K 
[ ]SigSigTCategory.glob2013-06-27 22:29 16K 
[ ]NNaturalNumbersObject.native2013-06-27 22:29 16K 
[ ]SmallSchema.glob2013-06-27 22:29 16K 
[ ]NEquivalenceSet.cmi2013-06-27 22:29 16K 
[ ]Adjoint.v2013-06-27 22:29 16K 
[ ]Adjoint.v.orig2013-06-27 22:29 16K 
[ ]NatFacts.vo2013-06-27 22:29 16K 
[ ]NGroup.native2013-06-27 22:29 16K 
[ ]Schema.v2013-06-27 22:29 16K 
[ ]NLimits.native2013-06-27 22:29 17K 
[ ]NaturalTransformation.v.orig2013-06-27 22:29 17K 
[ ]FunctorIsomorphisms.glob2013-06-27 22:29 17K 
[ ]NUniversalProperties.cmi2013-06-27 22:29 17K 
[ ]NDecidableDiscreteCategory.native2013-06-27 22:29 17K 
[ ]NGraphTranslation.o2013-06-27 22:29 17K 
[ ]SigTInducedFunctors.vo2013-06-27 22:29 17K 
[ ]CanonicalStructureSimplification.glob2013-06-27 22:29 17K 
[ ]EquivalenceClass.v2013-06-27 22:29 17K 
[ ]MonoidalCategory.v2013-06-27 22:29 17K 
[ ]MonoidalCategory.v.orig2013-06-27 22:29 17K 
[ ]NCat.cmxs2013-06-27 22:29 17K 
[ ]Correspondences.glob2013-06-27 22:29 17K 
[ ]NSetSchema.native2013-06-27 22:29 17K 
[ ]NSmallCat.cmxs2013-06-27 22:29 17K 
[ ]EnrichedCategory.glob2013-06-27 22:29 17K 
[ ]NFunctorAttributes.native2013-06-27 22:29 17K 
[ ]NTypeclassSimplification.o2013-06-27 22:29 17K 
[ ]SpecializedLaxCommaCategory.v.orig2013-06-27 22:29 17K 
[ ]NPathsCategory.cmxs2013-06-27 22:29 17K 
[ ]NChainCategory.cmxs2013-06-27 22:29 17K 
[ ]NGetArguments.cmx2013-06-27 22:29 17K 
[ ]NComputableCategory.cmxs2013-06-27 22:29 17K 
[ ]NDualFunctor.cmxs2013-06-27 22:29 18K 
[ ]NDecidableCat.cmxs2013-06-27 22:29 18K 
[ ]Duals.vo2013-06-27 22:29 18K 
[ ]NDuals.o2013-06-27 22:29 18K 
[ ]NFunctorCategory.cmxs2013-06-27 22:29 18K 
[ ]NDecidableComputableCategory.cmxs2013-06-27 22:29 18K 
[ ]ProductInducedFunctors.vo2013-06-27 22:29 18K 
[ ]NEqdepFacts_one_variable.cmi2013-06-27 22:29 18K 
[ ]NComputableGraphCategory.cmxs2013-06-27 22:29 18K 
[ ]InducedLimitFunctors.glob2013-06-27 22:29 18K 
[ ]NaturalTransformation.v2013-06-27 22:29 18K 
[ ]SetCategoryFacts.glob2013-06-27 22:29 18K 
[ ]NCanonicalStructureSimplification.native2013-06-27 22:29 18K 
[ ]DatabaseMorphisms.glob2013-06-27 22:29 18K 
[ ]NNaturalEquivalence.cmi2013-06-27 22:29 18K 
[ ]NLaxCommaCategory.cmi2013-06-28 00:34 18K 
[ ]NProductCategory.native2013-06-27 22:29 18K 
[ ]NDecidableSmallCat.cmxs2013-06-27 22:29 18K 
[ ]NGrothendieckFunctorial.o2013-06-27 22:29 18K 
[ ]NLimitFunctors.o2013-06-27 22:29 18K 
[ ]SemiSimplicialSets.vo2013-06-27 22:29 18K 
[ ]EquivalenceSet.v2013-06-27 22:29 19K 
[ ]UniversalProperties.v2013-06-27 22:29 19K 
[ ]UniversalProperties.v.orig2013-06-27 22:29 19K 
[ ]NTheorems.cmxs2013-06-27 22:29 19K 
[ ]NDecidableSetCategory.cmxs2013-06-27 22:29 19K 
[ ]NSemiSimplicialSets.cmxs2013-06-27 22:29 19K 
[ ]DecidableDiscreteCategoryFunctors.glob2013-06-27 22:29 19K 
[ ]NCategoryIsomorphisms.cmi2013-06-27 22:29 19K 
[ ]NSpecializedLaxCommaCategory.cmi2013-06-27 22:29 20K 
[ ]NBoolCategory.cmxs2013-06-27 22:29 20K 
[ ]CoendFunctor.glob2013-06-27 22:29 20K 
[ ]SigTCategory.glob2013-06-27 22:29 20K 
[ ]NGroupCategory.cmxs2013-06-27 22:29 20K 
[ ]NSQLQueries.native2013-06-27 22:29 21K 
[ ]NExamples.cmi2013-06-27 22:29 21K 
[ ]NProductNaturalTransformation.cmxs2013-06-27 22:29 21K 
[ ]NFunctorIsomorphisms.native2013-06-27 22:29 21K 
[ ]NSetLimits.native2013-06-27 22:29 21K 
[ ]NEquivalenceRelationGenerator.o2013-06-27 22:29 21K 
[ ]GraphTranslation.vo2013-06-27 22:29 21K 
[ ]NFunctorialComposition.cmxs2013-06-27 22:29 21K 
[ ]DecidableDiscreteCategory.vo2013-06-27 22:29 21K 
[ ]NDatabaseMorphisms.cmi2013-06-27 22:29 22K 
[ ]NTypeclassUnreifiedSimplification.cmxs2013-06-27 22:29 22K 
[ ]Hom.vo2013-06-27 22:29 22K 
[ ]NGetArguments.o2013-06-27 22:29 22K 
[ ]MetaTranslation.vo2013-06-27 22:29 22K 
[ ]NGraph.cmxs2013-06-27 22:29 22K 
[ ]NDiscreteCategory.cmxs2013-06-27 22:29 22K 
[ ]NDatabaseConstraints.native2013-06-27 22:29 22K 
[ ]CanonicalStructureSimplification.vo2013-06-27 22:29 23K 
[ ]CommaCategory.glob2013-06-27 22:29 23K 
[ ]NMetaTranslation.native2013-06-27 22:29 23K 
[ ]NMetaTranslation.o2013-06-27 22:29 23K 
[ ]Equalizer.vo2013-06-27 22:29 23K 
[ ]NSchema.cmi2013-06-27 22:29 23K 
[ ]SumInducedFunctors.vo2013-06-27 22:29 23K 
[ ]SetCategory.vo2013-06-27 22:29 23K 
[ ]NNatCategory.cmxs2013-06-27 22:29 23K 
[ ]NProductCategory.o2013-06-27 22:29 24K 
[ ]NSigTSigCategory.o2013-06-27 22:29 24K 
[ ]Examples.glob2013-06-27 22:29 24K 
[ ]NEquivalenceClass.cmi2013-06-27 22:29 24K 
[ ]CommaCategoryProjectionFunctors.glob2013-06-27 22:29 24K 
[ ]TypeclassUnreifiedSimplification.glob2013-06-27 22:29 24K 
[ ]NIndiscreteCategory.cmxs2013-06-27 22:29 24K 
[ ]NSigTSigCategory.native2013-06-27 22:29 24K 
[ ]AdjointUniversalMorphisms.glob2013-06-27 22:29 24K 
[ ]SumCategory.vo2013-06-27 22:29 24K 
[ ]NMetaEquivalence.o2013-06-27 22:29 24K 
[ ]NGetArguments.native2013-06-27 22:29 24K 
[ ]NCommaCategory.cmi2013-06-27 22:29 24K 
[ ]Eqdep_dec_one_variable.vo2013-06-27 22:29 24K 
[ ]SmallTranslation.glob2013-06-27 22:29 24K 
[ ]NFunctorAttributes.o2013-06-27 22:29 25K 
[ ]NInitialTerminalCategory.o2013-06-27 22:29 25K 
[ ]NNaturalNumbersObject.o2013-06-27 22:29 25K 
[ ]Translation.glob2013-06-27 22:29 25K 
[ ]NEqdep_dec_one_variable.native2013-06-27 22:29 25K 
[ ]NSpecializedCommaCategory.cmi2013-06-27 22:29 25K 
[ ]Database.glob2013-06-27 22:29 25K 
[ ]NPullback.cmi2013-06-27 22:29 25K 
[ ]NSubobjectClassifier.o2013-06-27 22:29 26K 
[ ]NHom.native2013-06-27 22:29 26K 
[ ]NGrothendieck.native2013-06-27 22:29 26K 
[ ]NPaths.native2013-06-27 22:29 26K 
[ ]NGroupoid.o2013-06-27 22:29 26K 
[ ]SetLimits.vo2013-06-27 22:29 26K 
[ ]NInstance.native2013-06-27 22:29 26K 
[ ]NSigTSigInducedFunctors.cmxs2013-06-27 22:29 27K 
[ ]NGroup.o2013-06-27 22:29 27K 
[ ]Paths.vo2013-06-27 22:29 27K 
[ ]FEqualDep.glob2013-06-27 22:29 27K 
[ ]NYoneda.cmxs2013-06-27 22:29 27K 
[ ]Coend.vo2013-06-27 22:29 27K 
[ ]NDecidableDiscreteCategoryFunctors.cmx2013-06-27 22:29 27K 
[ ]CommaCategoryProjection.vo2013-06-27 22:29 27K 
[ ]NSetSchema.o2013-06-27 22:29 27K 
[ ]Pullback.glob2013-06-27 22:29 28K 
[ ]SigTSigCategory.vo2013-06-27 22:29 28K 
[ ]NFEqualDep.o2013-06-27 22:29 28K 
[ ]Functor.glob2013-06-27 22:29 28K 
[ ]SpecializedCommaCategory.glob2013-06-27 22:29 28K 
[ ]GrothendieckFunctorial.vo2013-06-27 22:29 28K 
[ ]NProductInducedFunctors.cmxs2013-06-27 22:29 28K 
[ ]NFunctorProduct.cmxs2013-06-27 22:29 29K 
[ ]SetColimits.glob2013-06-27 22:29 29K 
[ ]CategorySchemaEquivalence.v2013-06-27 22:29 29K 
[ ]CategorySchemaEquivalence.v.orig2013-06-27 22:29 29K 
[ ]compare-times-shelf-RnJpIE1heSAyNCAxNjo0NDo0NyBFRFQgMjAxMwo=.bak2013-06-27 22:29 30K 
[ ]DataMigrationFunctors.v2013-06-27 22:29 30K 
[ ]DataMigrationFunctors.v.orig2013-06-27 22:29 30K 
[ ]NSetCategoryProductFunctor.native2013-06-27 22:29 30K 
[ ]NSumInducedFunctors.native2013-06-27 22:29 30K 
[ ]NDecidableDiscreteCategory.o2013-06-27 22:29 31K 
[ ]NCanonicalStructureSimplification.o2013-06-27 22:29 31K 
[ ]CategoryIsomorphisms.glob2013-06-27 22:29 31K 
[ ]Grothendieck.vo2013-06-27 22:29 31K 
[ ]NSetLimits.o2013-06-27 22:29 31K 
[ ]NLimitFunctors.cmxs2013-06-27 22:29 31K 
[ ]SetCategoryFacts.vo2013-06-27 22:29 31K 
[ ]CategoryEquality.vo2013-06-27 22:29 32K 
[ ]NDatabase.cmi2013-06-27 22:29 32K 
[ ]LtacReifiedSimplification.glob2013-06-27 22:29 32K 
[ ]NSetColimits.native2013-06-27 22:29 32K 
[ ]NSetCategory.native2013-06-27 22:29 32K 
[ ]NProductCategory.cmxs2013-06-27 22:29 33K 
[ ]CommaCategoryFunctorProperties.vo2013-06-27 22:29 33K 
[ ]NFunctorAttributes.cmxs2013-06-27 22:29 33K 
[ ]EnrichedCategory.vo2013-06-27 22:29 33K 
[ ]NSigTInducedFunctors.cmxs2013-06-27 22:29 33K 
[ ]NGrothendieck.o2013-06-27 22:29 33K 
[ ]EquivalenceSet.glob2013-06-27 22:29 33K 
[ ]NSumInducedFunctors.o2013-06-27 22:29 33K 
[ ]FunctorCategoryFunctorial.glob2013-06-27 22:29 34K 
[ ]NLtacReifiedSimplification.cmi2013-06-27 22:29 34K 
[ ]Yoneda.vo2013-06-27 22:29 34K 
[ ]NSpecializedCategory.native2013-06-27 22:29 34K 
[ ]NGraphTranslation.cmxs2013-06-27 22:29 34K 
[ ]NPathsCategoryFunctors.cmxs2013-06-27 22:29 34K 
[ ]NFunctorIsomorphisms.o2013-06-27 22:29 34K 
[ ]NSigTSigCategory.cmxs2013-06-27 22:29 35K 
[ ]Category.glob2013-06-27 22:29 35K 
[ ]NInstance.o2013-06-27 22:29 35K 
[ ]NSigCategory.native2013-06-27 22:29 35K 
[ ]NaturalEquivalence.glob2013-06-27 22:29 35K 
[ ]FEqualDep.vo2013-06-27 22:29 35K 
[ ]FunctorIsomorphisms.vo2013-06-27 22:29 35K 
[ ]NHom.o2013-06-27 22:29 35K 
[ ]NSetSchema.cmxs2013-06-27 22:29 35K 
[ ]NGroup.cmxs2013-06-27 22:29 36K 
[ ]NLimits.o2013-06-27 22:29 36K 
[ ]DiscreteCategoryFunctors.vo2013-06-27 22:29 36K 
[ ]NSigTCategory.native2013-06-27 22:29 36K 
[ ]time-of-build-before.log2013-06-27 22:29 36K 
[ ]time-of-build-after.log2013-06-27 22:29 36K 
[ ]EqdepFacts_one_variable.vo2013-06-27 22:29 37K 
[ ]NGrothendieckFunctorial.cmxs2013-06-27 22:29 37K 
[ ]SigCategory.vo2013-06-27 22:29 37K 
[ ]NDatabaseConstraints.o2013-06-27 22:29 37K 
[ ]NSumCategory.native2013-06-27 22:29 38K 
[ ]NAdjointPointwise.o2013-06-27 22:29 38K 
[ ]NCommon.cmi2013-06-27 22:29 38K 
[ ]NEquivalenceSet.native2013-06-27 22:29 38K 
[ ]NSetCategoryFacts.native2013-06-27 22:29 38K 
[ ]Eqdep_dec_one_variable.glob2013-06-27 22:29 38K 
[ ]NAdjointUnit.native2013-06-27 22:29 38K 
[ ]TypeclassUnreifiedSimplification.vo2013-06-27 22:29 38K 
[ ]LimitFunctorTheorems.vo2013-06-27 22:29 39K 
[ ]NEqualizer.native2013-06-27 22:29 39K 
[ ]Graphs.vo2013-06-27 22:29 39K 
[ ]Limits.vo2013-06-27 22:29 39K 
[ ]NSetCategoryProductFunctor.o2013-06-27 22:29 39K 
[ ]SpecializedCategory.glob2013-06-27 22:29 40K 
[ ]NDuals.cmxs2013-06-27 22:29 40K 
[ ]NFunctorCategoryFunctorial.o2013-06-27 22:29 40K 
[ ]EqdepFacts_one_variable.glob2013-06-27 22:29 40K 
[ ]NAdjointUnit.o2013-06-27 22:29 40K 
[ ]CommaCategoryInducedFunctors.glob2013-06-27 22:29 40K 
[ ]NNaturalNumbersObject.cmxs2013-06-27 22:29 41K 
[ ]NSQLQueries.o2013-06-27 22:29 41K 
[ ]NSetLimits.cmxs2013-06-27 22:29 41K 
[ ]NTypeclassSimplification.cmxs2013-06-27 22:29 41K 
[ ]NMetaEquivalence.cmxs2013-06-27 22:29 41K 
[ ]Schema.glob2013-06-27 22:29 41K 
[ ]NSubobjectClassifier.cmxs2013-06-27 22:29 41K 
[ ]NInitialTerminalCategory.cmxs2013-06-27 22:29 41K 
[ ]NSetCategoryProductFunctor.cmxs2013-06-27 22:29 42K 
[ ]UniversalProperties.glob2013-06-27 22:29 42K 
[ ]NGetArguments.cmi2013-06-27 22:29 42K 
[ ]NEquivalenceRelationGenerator.cmxs2013-06-27 22:29 43K 
[ ]DatabaseMorphisms.vo2013-06-27 22:29 43K 
[ ]NEqdep_dec_one_variable.o2013-06-27 22:29 43K 
[ ]NCategory.native2013-06-27 22:29 43K 
[ ]NSigCategory.o2013-06-27 22:29 43K 
[ ]Common.v2013-06-27 22:29 44K 
[ ]Common.v.orig2013-06-27 22:29 44K 
[ ]NFEqualDep.cmxs2013-06-27 22:29 45K 
[ ]NTranslation.native2013-06-27 22:29 45K 
[ ]NGroupoid.cmxs2013-06-27 22:29 45K 
[ ]NInstance.cmxs2013-06-27 22:29 45K 
[ ]NExamples.native2013-06-27 22:29 45K 
[ ]NMetaTranslation.cmxs2013-06-27 22:29 46K 
[ ]EquivalenceClass.glob2013-06-27 22:29 46K 
[ ]NSmallTranslation.native2013-06-27 22:29 46K 
[ ]NFunctorCategoryFunctorial.native2013-06-27 22:29 46K 
[ ]NSigTCategory.o2013-06-27 22:29 46K 
[ ]NCanonicalStructureSimplification.cmxs2013-06-27 22:29 47K 
[ ]NaturalTransformation.glob2013-06-27 22:29 47K 
[ ]NEqdepFacts_one_variable.native2013-06-27 22:29 48K 
[ ]MonoidalCategory.glob2013-06-27 22:29 48K 
[ ]NHom.cmxs2013-06-27 22:29 48K 
[ ]SigTCategory.vo2013-06-27 22:29 49K 
[ ]SigSigTCategory.vo2013-06-27 22:29 49K 
[ ]NAdjointPointwise.cmxs2013-06-27 22:29 50K 
[ ]Adjoint.glob2013-06-27 22:29 50K 
[ ]compare-times-shelf-U2F0IEp1biAyMiAyMDoxNTozMSBFRFQgMjAxMwo=.bak2013-06-27 22:29 50K 
[ ]NLimits.cmxs2013-06-27 22:29 50K 
[ ]SmallSchema.vo2013-06-27 22:29 50K 
[ ]NFunctorIsomorphisms.cmxs2013-06-27 22:29 51K 
[ ]Common.glob2013-06-27 22:29 51K 
[ ]NDecidableDiscreteCategory.cmxs2013-06-27 22:29 51K 
[ ]NAdjointPointwise.native2013-06-27 22:29 51K 
[ ]NProductLaws.native2013-06-27 22:29 51K 
[ ]NPaths.o2013-06-27 22:29 52K 
[ ]NCoend.o2013-06-27 22:29 52K 
[ ]NSetCategory.o2013-06-27 22:29 52K 
[ ]NEquivalenceClass.native2013-06-27 22:29 52K 
[ ]NEqdep_dec_one_variable.cmxs2013-06-27 22:29 52K 
[ ]NGrothendieck.cmxs2013-06-27 22:29 52K 
[ ]NSetColimits.o2013-06-27 22:29 53K 
[ ]GetArguments.glob2013-06-27 22:29 53K 
[ ]patch2013-06-27 22:29 53K 
[ ]ProductLaws.vo2013-06-27 22:29 54K 
[ ]NCategory.o2013-06-27 22:29 54K 
[ ]Correspondences.vo2013-06-27 22:29 54K 
[ ]CategoryIsomorphisms.vo2013-06-27 22:29 54K 
[ ]NAdjointUnit.cmxs2013-06-27 22:29 54K 
[ ]NSmallSchema.native2013-06-27 22:29 54K 
[ ]Database.vo2013-06-27 22:29 54K 
[ ]AdjointPointwise.vo2013-06-27 22:29 55K 
[ ]NSetCategoryFacts.o2013-06-27 22:29 56K 
[ ]NNaturalEquivalence.native2013-06-27 22:29 56K 
[ ]NSpecializedCategory.o2013-06-27 22:29 56K 
[ ]GetArguments.vo2013-06-27 22:29 56K 
[ ]AdjointComposition.vo2013-06-27 22:29 57K 
[ ]NDiscreteCategoryFunctors.native2013-06-27 22:29 58K 
[ ]NCoend.cmxs2013-06-27 22:29 58K 
[ ]DataMigrationFunctorsAdjoint.v2013-06-27 22:29 59K 
[ ]DataMigrationFunctorsAdjoint.v.orig2013-06-27 22:29 59K 
[ ]NSumCategory.o2013-06-27 22:29 59K 
[ ]MetaEquivalence.vo2013-06-27 22:29 59K 
[ ]NSigCategory.cmxs2013-06-27 22:29 60K 
[ ]NSmallTranslation.o2013-06-27 22:29 60K 
[ ]NCategoryIsomorphisms.native2013-06-27 22:29 61K 
[ ]EquivalenceSet.vo2013-06-27 22:29 62K 
[ ]NSQLQueries.cmxs2013-06-27 22:29 62K 
[ ]NSigTCategory.cmxs2013-06-27 22:29 63K 
[ ]NFunctorCategoryFunctorial.cmxs2013-06-27 22:29 63K 
[ ]NSumInducedFunctors.cmxs2013-06-27 22:29 63K 
[ ]NSetColimits.cmxs2013-06-27 22:29 64K 
[ ]NDiscreteCategoryFunctors.o2013-06-27 22:29 64K 
[ ]ExponentialLaws.glob2013-06-27 22:29 65K 
[ ]NProductLaws.o2013-06-27 22:29 65K 
[ ]NFunctor.native2013-06-27 22:29 66K 
[ ]NCategory.cmxs2013-06-27 22:29 66K 
[ ]NTranslation.o2013-06-27 22:29 67K 
[ ]NDatabaseConstraints.cmxs2013-06-27 22:29 68K 
[ ]DataMigrationFunctorExamples.v2013-06-27 22:29 68K 
[ ]DataMigrationFunctorExamples.v.orig2013-06-27 22:29 68K 
[ ]NEquivalenceSet.o2013-06-27 22:29 68K 
[ ]NLimitFunctorTheorems.o2013-06-27 22:29 69K 
[ ]NDecidableDiscreteCategoryFunctors.cmi2013-06-27 22:29 69K 
[ ]NSpecializedCategory.cmxs2013-06-27 22:29 69K 
[ ]SetColimits.vo2013-06-27 22:29 70K 
[ ]NEqualizer.o2013-06-27 22:29 70K 
[ ]NSmallTranslation.cmxs2013-06-27 22:29 70K 
[ ]NProductLaws.cmxs2013-06-27 22:29 70K 
[ ]NPaths.cmxs2013-06-27 22:29 71K 
[ ]NSetCategory.cmxs2013-06-27 22:29 72K 
[ ]tmp6xosUe.v2013-06-27 22:29 72K 
[ ]NCorrespondences.native2013-06-27 22:29 73K 
[ ]NSmallSchema.o2013-06-27 22:29 73K 
[ ]NInducedLimitFunctors.o2013-06-27 22:29 73K 
[ ]NSumCategory.cmxs2013-06-27 22:29 74K 
[ ]NDiscreteCategoryFunctors.cmxs2013-06-27 22:29 75K 
[ ]NCommaCategoryProjection.o2013-06-27 22:29 76K 
[ ]NInducedLimitFunctors.cmxs2013-06-27 22:29 77K 
[ ]NSetCategoryFacts.cmxs2013-06-27 22:29 78K 
[ ]NAdjointComposition.o2013-06-27 22:29 78K 
[ ]NCoend.native2013-06-27 22:29 79K 
[ ]NTranslation.cmxs2013-06-27 22:29 79K 
[ ]NLimitFunctorTheorems.cmxs2013-06-27 22:29 80K 
[ ]NNaturalEquivalence.o2013-06-27 22:29 80K 
[ ]NDatabaseMorphisms.native2013-06-27 22:29 81K 
[ ]NCommaCategoryProjection.cmxs2013-06-27 22:29 82K 
[ ]NEquivalenceSet.cmxs2013-06-27 22:29 83K 
[ ]NGraphs.native2013-06-27 22:29 83K 
[ ]NEqdepFacts_one_variable.o2013-06-27 22:29 83K 
[ ]InducedLimitFunctors.vo2013-06-27 22:29 85K 
[ ]NSmallSchema.cmxs2013-06-27 22:29 86K 
[ ]NAdjointComposition.cmxs2013-06-27 22:29 86K 
[ ]Functor.vo2013-06-27 22:29 86K 
[ ]SmallTranslation.vo2013-06-27 22:29 86K 
[ ]NCommaCategoryInducedFunctors.o2013-06-27 22:29 86K 
[ ]CoendFunctor.vo2013-06-27 22:29 87K 
[ ]NExponentialLaws.native2013-06-27 22:29 87K 
[ ]NEquivalenceClass.o2013-06-27 22:29 88K 
[ ]NaturalEquivalence.vo2013-06-27 22:29 88K 
[ ]NEqualizer.cmxs2013-06-27 22:29 88K 
[ ]Examples.vo2013-06-27 22:29 89K 
[ ]FunctorCategoryFunctorial.vo2013-06-27 22:29 90K 
[ ]NExponentialLaws.o2013-06-27 22:29 91K 
[ ]NSigSigTCategory.o2013-06-27 22:29 92K 
[ ]NExamples.o2013-06-27 22:29 92K 
[ ]Category.vo2013-06-27 22:29 92K 
[ ]NCorrespondences.o2013-06-27 22:29 92K 
[ ]EquivalenceClass.vo2013-06-27 22:29 93K 
[ ]SpecializedCategory.vo2013-06-27 22:29 94K 
[ ]NSchema.native2013-06-27 22:29 94K 
[ ]NFunctor.o2013-06-27 22:29 95K 
[ ]NCategoryIsomorphisms.o2013-06-27 22:29 95K 
[ ]CommaCategoryInducedFunctors.vo2013-06-27 22:29 96K 
[ ]NCommaCategoryProjection.native2013-06-27 22:29 97K 
[ ]MetaEquivalence.glob2013-06-27 22:29 98K 
[ ]NCommaCategoryInducedFunctors.cmxs2013-06-27 22:29 100K 
[ ]NLimitFunctorTheorems.native2013-06-27 22:29 101K 
[ ]NInducedLimitFunctors.native2013-06-27 22:29 102K 
[ ]NSigSigTCategory.native2013-06-27 22:29 102K 
[ ]NNaturalEquivalence.cmxs2013-06-27 22:29 102K 
[ ]NExponentialLaws.cmxs2013-06-27 22:29 103K 
[ ]NEqdepFacts_one_variable.cmxs2013-06-27 22:29 104K 
[ ]NCommaCategoryInducedFunctors.native2013-06-27 22:29 104K 
[ ]NGetArguments.cmxs2013-06-27 22:29 105K 
[ ]Translation.vo2013-06-27 22:29 105K 
[ ]NaturalTransformation.vo2013-06-27 22:29 106K 
[ ]NDatabase.native2013-06-27 22:29 106K 
[ ]NExamples.cmxs2013-06-27 22:29 107K 
[ ]NCorrespondences.cmxs2013-06-27 22:29 108K 
[ ]NNaturalTransformation.native2013-06-27 22:29 109K 
[ ]NSigSigTCategory.cmxs2013-06-27 22:29 109K 
[ ]Schema.vo2013-06-27 22:29 109K 
[ ]NCategoryIsomorphisms.cmxs2013-06-27 22:29 112K 
[ ]NEquivalenceClass.cmxs2013-06-27 22:29 112K 
[ ]AdjointUniversalMorphisms.vo2013-06-27 22:29 113K 
[ ]NGraphs.cmxs2013-06-27 22:29 120K 
[ ]NAdjointComposition.native2013-06-27 22:29 120K 
[ ]NDatabaseMorphisms.o2013-06-27 22:29 123K 
[ ]NGraphs.o2013-06-27 22:29 124K 
[ ]NFunctor.cmxs2013-06-27 22:29 127K 
[ ]NNaturalTransformation.o2013-06-27 22:29 130K 
[ ]NEnrichedCategory.cmxs2013-06-27 22:29 132K 
[ ]NDatabaseMorphisms.cmxs2013-06-27 22:29 141K 
[ ]NEnrichedCategory.o2013-06-27 22:29 141K 
[ ]NSchema.o2013-06-27 22:29 142K 
[ ]NAdjointUniversalMorphisms.cmxs2013-06-27 22:29 142K 
[ ]NAdjointUniversalMorphisms.o2013-06-27 22:29 148K 
[ ]NSchema.cmxs2013-06-27 22:29 148K 
[ ]Common.vo2013-06-27 22:29 148K 
[ ]NNaturalTransformation.cmxs2013-06-27 22:29 152K 
[ ]CommaCategory.vo2013-06-27 22:29 155K 
[ ]NCommon.native2013-06-27 22:29 156K 
[ ]SpecializedCommaCategory.vo2013-06-27 22:29 156K 
[ ]UniversalProperties.vo2013-06-27 22:29 170K 
[ ]NDatabase.o2013-06-27 22:29 179K 
[ ]LimitFunctorTheorems.glob2013-06-27 22:29 181K 
[ ]ExponentialLaws.vo2013-06-27 22:29 181K 
[ ]NDatabase.cmxs2013-06-27 22:29 182K 
[ ]NEnrichedCategory.native2013-06-27 22:29 184K 
[ ]Groupoid.glob2013-06-27 22:29 186K 
[ ]LaxCommaCategory.glob2013-06-28 00:34 188K 
[ ]NCoendFunctor.native2013-06-27 22:29 189K 
[ ]SpecializedLaxCommaCategory.glob2013-06-27 22:29 195K 
[ ]MonoidalCategory.vo2013-06-27 22:29 203K 
[ ]NCoendFunctor.cmxs2013-06-27 22:29 206K 
[ ]NAdjointUniversalMorphisms.native2013-06-27 22:29 213K 
[ ]NCoendFunctor.o2013-06-27 22:29 219K 
[ ]compare-times-shelf-U2F0IEp1biAyMiAwMDoyMDo0NyBFRFQgMjAxMwo=.bak2013-06-27 22:29 224K 
[TXT]poylmorphic.patch2013-06-27 22:29 224K 
[ ]Pullback.vo2013-06-27 22:29 237K 
[ ]NCommon.cmxs2013-06-27 22:29 260K 
[ ]NCommon.o2013-06-27 22:29 273K 
[ ]NMonoidalCategory.cmxs2013-06-27 22:29 313K 
[ ]Adjoint.vo2013-06-27 22:29 328K 
[ ]CommaCategoryProjectionFunctors.vo2013-06-27 22:29 370K 
[ ]NUniversalProperties.cmxs2013-06-27 22:29 377K 
[ ]NMonoidalCategory.o2013-06-27 22:29 379K 
[ ]NMonoidalCategory.native2013-06-27 22:29 389K 
[ ]NCommaCategory.cmxs2013-06-27 22:29 432K 
[ ]NSpecializedCommaCategory.cmxs2013-06-27 22:29 441K 
[ ]NUniversalProperties.o2013-06-27 22:29 449K 
[ ]NCommaCategory.o2013-06-27 22:29 463K 
[ ]NSpecializedCommaCategory.o2013-06-27 22:29 468K 
[TXT]temp_patch.patch2013-06-27 22:29 482K 
[ ]LtacReifiedSimplification.vo2013-06-27 22:29 499K 
[ ]LaxCommaCategory.vo2013-06-28 00:34 563K 
[ ]SpecializedLaxCommaCategory.vo2013-06-27 22:29 564K 
[ ]NSpecializedCommaCategory.native2013-06-27 22:29 602K 
[ ]NCommaCategory.native2013-06-27 22:29 607K 
[ ]NUniversalProperties.native2013-06-27 22:29 621K 
[ ]NAdjoint.cmxs2013-06-27 22:29 678K 
[ ]NLtacReifiedSimplification.cmxs2013-06-27 22:29 740K 
[ ]NAdjoint.o2013-06-27 22:29 811K 
[ ]NLtacReifiedSimplification.o2013-06-27 22:29 839K 
[ ]DecidableDiscreteCategoryFunctors.vo2013-06-27 22:29 842K 
[ ]NAdjoint.native2013-06-27 22:29 886K 
[ ]NLtacReifiedSimplification.native2013-06-27 22:29 1.0M 
[ ]NPullback.cmxs2013-06-27 22:29 1.0M 
[ ]NCommaCategoryProjectionFunctors.cmxs2013-06-27 22:29 1.0M 
[ ]NPullback.o2013-06-27 22:29 1.2M 
[ ]NPullback.native2013-06-27 22:29 1.4M 
[ ]NLaxCommaCategory.cmxs2013-06-28 00:34 1.4M 
[ ]NSpecializedLaxCommaCategory.cmxs2013-06-27 22:29 1.4M 
[ ]NCommaCategoryProjectionFunctors.o2013-06-27 22:29 1.4M 
[ ]test-output.log2013-06-27 22:29 1.5M 
[ ]NLaxCommaCategory.o2013-06-28 00:34 1.7M 
[ ]NSpecializedLaxCommaCategory.o2013-06-27 22:29 1.8M 
[ ]NCommaCategoryProjectionFunctors.native2013-06-27 22:29 2.0M 
[ ]NLaxCommaCategory.native2013-06-28 00:34 2.6M 
[ ]NSpecializedLaxCommaCategory.native2013-06-27 22:29 2.6M 
[ ]NDecidableDiscreteCategoryFunctors.cmxs2013-06-27 22:29 3.5M 
[ ]test-output2.log2013-06-27 22:29 4.1M 
[ ]NDecidableDiscreteCategoryFunctors.o2013-06-27 22:29 4.1M 
[ ]NDecidableDiscreteCategoryFunctors.native2013-06-27 22:29 4.7M