![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Group.ax.eq.clauses | 1990-03-24 10:47 | 1.6K | |
| Group.ax.g.clauses | 1990-03-24 10:47 | 2.7K | |
| Group.ax.p.clauses | 1990-03-24 10:47 | 1.6K | |
| Lemmas.eq.clauses | 1990-03-24 10:47 | 779 | |
| Lemmas.p.clauses | 1990-03-24 10:47 | 878 | |
| README | 1990-03-24 10:47 | 4.2K | |
| commutator.desc | 1990-03-24 10:47 | 792 | |
| commutator.ver1.clauses | 1990-03-24 10:47 | 1.7K | |
| commutator.ver1.in | 1990-03-24 10:47 | 2.0K | |
| commutator.ver2.clauses | 1990-03-24 10:47 | 1.6K | |
| commutator.ver2.in | 1990-03-24 10:47 | 1.8K | |
| cyclic.desc | 1990-03-24 10:47 | 730 | |
| cyclic.ver3.in | 1990-03-24 10:47 | 3.7K | |
| cyclic.ver3.out | 1990-03-24 10:47 | 4.5K | |
| ident1.desc | 1990-03-24 10:47 | 544 | |
| ident1.ver1.clauses | 1990-03-24 10:47 | 1.8K | |
| ident1.ver1.in | 1990-03-24 10:47 | 1.9K | |
| ident1.ver1.out | 1990-03-24 10:47 | 7.3K | |
| ident2.desc | 1990-03-24 10:47 | 693 | |
| ident2.ver1.clauses | 1990-03-24 10:47 | 2.0K | |
| ident2.ver1.in | 1990-03-24 10:47 | 2.1K | |
| ident2.ver1.out | 1990-03-24 10:47 | 7.8K | |
| index.desc | 1990-03-24 10:47 | 1.6K | |
| index.ver1.clauses | 1990-03-24 10:47 | 3.0K | |
| index.ver1.in | 1990-03-24 10:47 | 3.3K | |
| index.ver1.out | 1990-03-24 10:47 | 4.3K | |
| index.ver2.clauses | 1990-03-24 10:47 | 2.6K | |
| index.ver2.in | 1990-03-24 10:47 | 3.0K | |
| invers1.desc | 1990-03-24 10:47 | 426 | |
| invers1.ver1.clauses | 1990-03-24 10:47 | 1.7K | |
| invers1.ver1.in | 1990-03-24 10:47 | 1.9K | |
| invers1.ver1.out | 1990-03-24 10:47 | 8.4K | |
| invers2.desc | 1990-03-24 10:47 | 517 | |
| invers2.ver1.clauses | 1990-03-24 10:47 | 1.6K | |
| invers2.ver1.in | 1990-03-24 10:47 | 1.9K | |
| invers2.ver1.out | 1990-03-24 10:47 | 7.8K | |
| order2.desc | 1990-03-24 10:47 | 1.6K | |
| order2.ver3.clauses | 1990-03-24 10:47 | 3.2K | |
| order2.ver3.in | 1990-03-24 10:47 | 3.6K | |
| order2.ver3.out | 1990-03-24 10:47 | 5.5K | |
| order2.ver4.clauses | 1990-03-24 10:47 | 4.4K | |
| order2.ver4.in | 1990-03-24 10:47 | 4.8K | |
| order2.ver4.out | 1990-03-24 10:47 | 5.6K | |
| order3.desc | 1990-03-24 10:47 | 1.6K | |
| order3.ver3.clauses | 1990-03-24 10:47 | 3.4K | |
| order3.ver3.in | 1990-03-24 10:47 | 3.8K | |
| order3.ver3.out | 1990-03-24 10:47 | 5.4K | |
| order3.ver4.clauses | 1990-03-24 10:47 | 5.2K | |
| order3.ver4.in | 1990-03-24 10:47 | 5.8K | |
| order3.ver4.out | 1990-03-24 10:47 | 6.6K | |
| xsquared.desc | 1990-03-24 10:47 | 621 | |
| xsquared.ver1.clauses | 1990-03-24 10:47 | 1.6K | |
| xsquared.ver1.in | 1990-03-24 10:47 | 1.9K | |
| xsquared.ver1.out | 1990-03-24 10:47 | 7.7K | |
| xsquared.ver2.clauses | 1990-03-24 10:47 | 1.5K | |
| xsquared.ver2.in | 1990-03-24 10:47 | 1.7K | |
| xsquared.ver2.out | 1990-03-24 10:47 | 10K | |