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

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