Index of /pub/ATP_problems/algebra/category.theory

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1990-03-24 10:47	3.4K
	axioms.mitchell	1990-03-24 10:47	2.4K
	axioms.quaife	1990-03-24 10:47	1.1K
	axioms.scott	1990-03-24 10:47	3.2K
	p1.desc	1990-03-24 10:47	1.0K
	p1.ver1.clauses	1990-03-24 10:47	2.7K
	p1.ver1.in	1990-03-24 10:47	3.0K
	p1.ver1.out	1990-03-24 10:48	3.8K
	p1.ver2.clauses	1990-03-24 10:48	1.2K
	p1.ver2.in	1990-03-24 10:48	1.5K
	p1.ver2.out	1990-03-24 10:48	2.4K
	p1.ver3.clauses	1990-03-24 10:48	2.4K
	p1.ver3.in	1990-03-24 10:48	2.6K
	p1.ver3.out	1990-03-24 10:48	2.9K
	p2.desc	1990-03-24 10:47	1.0K
	p2.ver1.clauses	1990-03-24 10:47	2.4K
	p2.ver1.in	1990-03-24 10:47	2.7K
	p2.ver1.out	1990-03-24 10:47	4.1K
	p2.ver2.clauses	1990-03-24 10:48	1.3K
	p2.ver2.in	1990-03-24 10:48	1.7K
	p2.ver2.out	1990-03-24 10:48	2.4K
	p2.ver3.clauses	1990-03-24 10:48	2.4K
	p2.ver3.in	1990-03-24 10:48	2.7K
	p2.ver3.out	1990-03-24 10:48	3.3K
	p3.desc	1990-03-24 10:47	1.0K
	p3.ver1.clauses	1990-03-24 10:47	2.8K
	p3.ver1.in	1990-03-24 10:47	3.1K
	p3.ver1.out	1990-03-24 10:47	3.8K
	p3.ver2.clauses	1990-03-24 10:48	1.2K
	p3.ver2.in	1990-03-24 10:48	1.5K
	p3.ver2.out	1990-03-24 10:48	2.4K
	p3.ver3.clauses	1990-03-24 10:48	2.4K
	p3.ver3.in	1990-03-24 10:48	2.6K
	p3.ver3.out	1990-03-24 10:48	2.8K
	p4.desc	1990-03-24 10:47	1.0K
	p4.ver1.clauses	1990-03-24 10:47	2.5K
	p4.ver1.in	1990-03-24 10:47	2.8K
	p4.ver1.out	1990-03-24 10:48	4.1K
	p4.ver2.clauses	1990-03-24 10:48	1.3K
	p4.ver2.in	1990-03-24 10:48	1.7K
	p4.ver2.out	1990-03-24 10:48	2.5K
	p4.ver3.clauses	1990-03-24 10:48	2.4K
	p4.ver3.in	1990-03-24 10:48	2.7K
	p4.ver3.out	1990-03-24 10:48	3.2K
	p5.desc	1990-03-24 10:47	767
	p5.ver1.clauses	1990-03-24 10:47	2.4K
	p5.ver1.in	1990-03-24 10:47	2.6K
	p5.ver1.out	1990-03-24 10:47	3.2K
	p5.ver3.clauses	1990-03-24 10:48	2.4K
	p5.ver3.in	1990-03-24 10:48	2.6K
	p5.ver3.out	1990-03-24 10:48	3.4K
	p6.desc	1990-03-24 10:47	766
	p6.ver1.clauses	1990-03-24 10:47	2.3K
	p6.ver1.in	1990-03-24 10:47	2.5K
	p6.ver1.out	1990-03-24 10:47	3.2K
	p6.ver3.clauses	1990-03-24 10:48	2.4K
	p6.ver3.in	1990-03-24 10:47	2.6K
	p6.ver3.out	1990-03-24 10:48	3.4K
	p7.desc	1990-03-24 10:47	771
	p7.ver1.clauses	1990-03-24 10:47	2.3K
	p7.ver1.in	1990-03-24 10:47	2.5K
	p7.ver1.out	1990-03-24 10:47	3.0K
	p7.ver3.clauses	1990-03-24 10:48	2.4K
	p7.ver3.in	1990-03-24 10:48	2.6K
	p7.ver3.out	1990-03-24 10:48	1.9K
	p8.desc	1990-03-24 10:47	576
	p8.ver1.clauses	1990-03-24 10:47	2.3K
	p8.ver1.in	1990-03-24 10:47	2.5K
	p8.ver1.out	1990-03-24 10:47	3.4K
	p9.desc	1990-03-24 10:47	769
	p9.ver1.clauses	1990-03-24 10:47	2.3K
	p9.ver1.in	1990-03-24 10:47	2.5K
	p9.ver1.out	1990-03-24 10:47	3.4K
	p9.ver3.clauses	1990-03-24 10:48	2.3K
	p9.ver3.in	1990-03-24 10:48	2.6K
	p9.ver3.out	1990-03-24 10:48	2.4K
	p10.desc	1990-03-24 10:47	774
	p10.ver1.clauses	1990-03-24 10:47	2.3K
	p10.ver1.in	1990-03-24 10:47	2.5K
	p10.ver1.out	1990-03-24 10:47	3.4K
	p10.ver3.clauses	1990-03-24 10:47	2.3K
	p10.ver3.in	1990-03-24 10:48	2.6K
	p10.ver3.out	1990-03-24 10:48	2.4K
	p11.desc	1990-03-24 10:48	972
	p11.ver1.clauses	1990-03-24 10:48	2.3K
	p11.ver1.in	1990-03-24 10:48	2.3K
	p11.ver1.out	1990-03-24 10:48	2.9K
	p11.ver2.clauses	1990-03-24 10:48	899
	p11.ver2.in	1990-03-24 10:48	1.2K
	p11.ver2.out	1990-03-24 10:48	2.4K
	p11.ver3.clauses	1990-03-24 10:47	2.3K
	p11.ver3.in	1990-03-24 10:48	2.5K
	p11.ver3.out	1990-03-24 10:48	2.2K
	p12.desc	1990-03-24 10:48	753
	p12.ver1.clauses	1990-03-24 10:48	2.3K
	p12.ver1.in	1990-03-24 10:48	2.3K
	p12.ver1.out	1990-03-24 10:48	2.9K
	p12.ver3.clauses	1990-03-24 10:47	2.3K
	p12.ver3.in	1990-03-24 10:48	2.6K
	p12.ver3.out	1990-03-24 10:48	2.3K
	p13.desc	1990-03-24 10:48	753
	p13.ver1.clauses	1990-03-24 10:48	2.3K
	p13.ver1.in	1990-03-24 10:48	2.3K
	p13.ver1.out	1990-03-24 10:48	2.9K
	p13.ver3.clauses	1990-03-24 10:48	2.3K
	p13.ver3.in	1990-03-24 10:48	2.6K
	p13.ver3.out	1990-03-24 10:48	2.5K
	p14.desc	1990-03-24 10:48	972
	p14.ver1.clauses	1990-03-24 10:48	2.3K
	p14.ver1.in	1990-03-24 10:47	2.3K
	p14.ver1.out	1990-03-24 10:48	2.9K
	p14.ver2.clauses	1990-03-24 10:48	900
	p14.ver2.in	1990-03-24 10:48	1.2K
	p14.ver2.out	1990-03-24 10:48	2.4K
	p14.ver3.clauses	1990-03-24 10:48	2.3K
	p14.ver3.in	1990-03-24 10:48	2.6K
	p14.ver3.out	1990-03-24 10:48	2.3K
	p15.desc	1990-03-24 10:48	2.3K
	p15.related.clauses	1990-03-24 10:48	1.8K
	p15.related.in	1990-03-24 10:48	2.3K
	p15.related.out	1990-03-24 10:48	4.2K
	p15.ver1.clauses	1990-03-24 10:48	2.7K
	p15.ver1.in	1990-03-24 10:48	2.8K
	p15.ver1.out	1990-03-24 10:48	3.4K
	p15.ver2.clauses	1990-03-24 10:48	1.0K
	p15.ver2.in	1990-03-24 10:48	1.3K
	p15.ver2.out	1990-03-24 10:48	2.3K
	p15.ver3.no1.clauses	1990-03-24 10:48	2.6K
	p15.ver3.no1.in	1990-03-24 10:48	2.8K
	p15.ver3.no1.out	1990-03-24 10:48	3.3K
	p15.ver3.no2.clauses	1990-03-24 10:48	2.3K
	p15.ver3.no2.in	1990-03-24 10:48	2.5K
	p15.ver3.no2.out	1990-03-24 10:48	2.3K
	p15.ver3.no3.clauses	1990-03-24 10:48	2.3K
	p15.ver3.no3.in	1990-03-24 10:48	2.5K
	p15.ver3.no3.out	1990-03-24 10:48	2.3K
	p15.ver3.no4.clauses	1990-03-24 10:48	2.3K
	p15.ver3.no4.in	1990-03-24 10:48	2.5K
	p15.ver3.no4.out	1990-03-24 10:48	2.1K
	p16.desc	1990-03-24 10:48	559
	p16.ver3.clauses	1990-03-24 10:48	2.3K
	p16.ver3.in	1990-03-24 10:48	2.4K
	p16.ver3.out	1990-03-24 10:48	2.4K
	p17.desc	1990-03-24 10:48	559
	p17.ver3.clauses	1990-03-24 10:48	2.3K
	p17.ver3.in	1990-03-24 10:48	2.4K
	p17.ver3.out	1990-03-24 10:48	2.4K
	p18.desc	1990-03-24 10:48	803
	p18.ver1.clauses	1990-03-24 10:48	2.3K
	p18.ver1.in	1990-03-24 10:48	2.5K
	p18.ver1.out	1990-03-24 10:48	2.9K
	p18.ver3.clauses	1990-03-24 10:48	2.3K
	p18.ver3.in	1990-03-24 10:48	2.5K
	p18.ver3.out	1990-03-24 10:48	3.8K