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

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