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