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 | ||
commute.proofs | 1990-03-24 10:47 | 2.2K | ||
lemma.desc | 1990-03-24 10:47 | 1.6K | ||
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.ver1.clauses | 1990-03-24 10:47 | 3.2K | ||
commute.ver2.in | 1990-03-24 10:47 | 2.4K | ||
commute.ver1.out | 1990-03-24 10:47 | 76K | ||
commute.ver2.clauses | 1990-03-24 10:47 | 1.8K | ||
commute.ver3.in | 1990-03-24 10:47 | 2.5K | ||
commute.ver2.out | 1990-03-24 10:47 | 257K | ||
commute.ver3.clauses | 1990-03-24 10:47 | 2.4K | ||
commute.ver4.in | 1990-03-24 10:47 | 2.7K | ||
commute.ver3.out | 1990-03-24 10:47 | 62K | ||
commute.ver4.clauses | 1990-03-24 10:47 | 2.5K | ||
commute.ver4.out | 1990-03-24 10:47 | 58K | ||
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.out | 1990-03-24 10:47 | 3.7K | ||
lemma.ver3.clauses | 1990-03-24 10:47 | 2.3K | ||
lemma.ver3.out | 1990-03-24 10:47 | 65K | ||
lemma.ver4.clauses | 1990-03-24 10:47 | 2.4K | ||
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.ver2.in | 1990-03-24 10:47 | 2.4K | ||
minuses.ver1.out | 1990-03-24 10:47 | 56K | ||
minuses.ver2.clauses | 1990-03-24 10:47 | 2.2K | ||
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 | ||
commute.ver1.in | 1990-03-24 10:47 | 3.4K | ||
lemma.ver2.in | 1990-03-24 10:47 | 2.2K | ||
lemma.ver3.in | 1990-03-24 10:47 | 2.4K | ||
lemma.ver4.in | 1990-03-24 10:47 | 2.6K | ||
minuses.ver1.in | 1990-03-24 10:47 | 2.2K | ||
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 | ||