Index of /pub/ATP_problems/algebra/rings

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1990-03-24 10:47	2.7K
	Ring.axioms.clauses	1990-03-24 10:47	2.3K
	Ring.lemmas.clauses	1990-03-24 10:47	905
	Stickel.eq.clauses	1990-03-24 10:47	1.2K
	Stickel.p.clauses	1990-03-24 10:47	1.4K
	commute.desc	1990-03-24 10:47	1.6K
	commute.proofs	1990-03-24 10:47	2.2K
	commute.ver1.clauses	1990-03-24 10:47	3.2K
	commute.ver1.in	1990-03-24 10:47	3.4K
	commute.ver1.out	1990-03-24 10:47	76K
	commute.ver2.clauses	1990-03-24 10:47	1.8K
	commute.ver2.in	1990-03-24 10:47	2.4K
	commute.ver2.out	1990-03-24 10:47	257K
	commute.ver3.clauses	1990-03-24 10:47	2.4K
	commute.ver3.in	1990-03-24 10:47	2.5K
	commute.ver3.out	1990-03-24 10:47	62K
	commute.ver4.clauses	1990-03-24 10:47	2.5K
	commute.ver4.in	1990-03-24 10:47	2.7K
	commute.ver4.out	1990-03-24 10:47	58K
	lemma.desc	1990-03-24 10:47	1.6K
	lemma.ver1.clauses	1990-03-24 10:47	2.8K
	lemma.ver1.in	1990-03-24 10:47	3.3K
	lemma.ver1.out	1990-03-24 10:47	4.6K
	lemma.ver2.clauses	1990-03-24 10:47	1.6K
	lemma.ver2.in	1990-03-24 10:47	2.2K
	lemma.ver2.out	1990-03-24 10:47	3.7K
	lemma.ver3.clauses	1990-03-24 10:47	2.3K
	lemma.ver3.in	1990-03-24 10:47	2.4K
	lemma.ver3.out	1990-03-24 10:47	65K
	lemma.ver4.clauses	1990-03-24 10:47	2.4K
	lemma.ver4.in	1990-03-24 10:47	2.6K
	lemma.ver4.out	1990-03-24 10:47	62K
	minuses.desc	1990-03-24 10:47	715
	minuses.ver1.clauses	1990-03-24 10:47	2.1K
	minuses.ver1.in	1990-03-24 10:47	2.2K
	minuses.ver1.out	1990-03-24 10:47	56K
	minuses.ver2.clauses	1990-03-24 10:47	2.2K
	minuses.ver2.in	1990-03-24 10:47	2.4K
	minuses.ver2.out	1990-03-24 10:47	4.4K
	zero.desc	1990-03-24 10:47	748
	zero.ver1.clauses	1990-03-24 10:47	2.1K
	zero.ver1.in	1990-03-24 10:47	2.1K
	zero.ver1.out	1990-03-24 10:47	3.8K
	zero.ver2.clauses	1990-03-24 10:47	2.1K
	zero.ver2.in	1990-03-24 10:47	2.2K
	zero.ver2.out	1990-03-24 10:47	3.9K