Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
xsquared.ver2.out | 1990-03-24 10:47 | 10K | ||
xsquared.ver2.in | 1990-03-24 10:47 | 1.7K | ||
xsquared.ver2.clauses | 1990-03-24 10:47 | 1.5K | ||
xsquared.ver1.out | 1990-03-24 10:47 | 7.7K | ||
xsquared.ver1.in | 1990-03-24 10:47 | 1.9K | ||
xsquared.ver1.clauses | 1990-03-24 10:47 | 1.6K | ||
xsquared.desc | 1990-03-24 10:47 | 621 | ||
order3.ver4.out | 1990-03-24 10:47 | 6.6K | ||
order3.ver4.in | 1990-03-24 10:47 | 5.8K | ||
order3.ver4.clauses | 1990-03-24 10:47 | 5.2K | ||
order3.ver3.out | 1990-03-24 10:47 | 5.4K | ||
order3.ver3.in | 1990-03-24 10:47 | 3.8K | ||
order3.ver3.clauses | 1990-03-24 10:47 | 3.4K | ||
order3.desc | 1990-03-24 10:47 | 1.6K | ||
order2.ver4.out | 1990-03-24 10:47 | 5.6K | ||
order2.ver4.in | 1990-03-24 10:47 | 4.8K | ||
order2.ver4.clauses | 1990-03-24 10:47 | 4.4K | ||
order2.ver3.out | 1990-03-24 10:47 | 5.5K | ||
order2.ver3.in | 1990-03-24 10:47 | 3.6K | ||
order2.ver3.clauses | 1990-03-24 10:47 | 3.2K | ||
order2.desc | 1990-03-24 10:47 | 1.6K | ||
invers2.ver1.out | 1990-03-24 10:47 | 7.8K | ||
invers2.ver1.in | 1990-03-24 10:47 | 1.9K | ||
invers2.ver1.clauses | 1990-03-24 10:47 | 1.6K | ||
invers2.desc | 1990-03-24 10:47 | 517 | ||
invers1.ver1.out | 1990-03-24 10:47 | 8.4K | ||
invers1.ver1.in | 1990-03-24 10:47 | 1.9K | ||
invers1.ver1.clauses | 1990-03-24 10:47 | 1.7K | ||
invers1.desc | 1990-03-24 10:47 | 426 | ||
index.ver2.in | 1990-03-24 10:47 | 3.0K | ||
index.ver2.clauses | 1990-03-24 10:47 | 2.6K | ||
index.ver1.out | 1990-03-24 10:47 | 4.3K | ||
index.ver1.in | 1990-03-24 10:47 | 3.3K | ||
index.ver1.clauses | 1990-03-24 10:47 | 3.0K | ||
index.desc | 1990-03-24 10:47 | 1.6K | ||
ident2.ver1.out | 1990-03-24 10:47 | 7.8K | ||
ident2.ver1.in | 1990-03-24 10:47 | 2.1K | ||
ident2.ver1.clauses | 1990-03-24 10:47 | 2.0K | ||
ident2.desc | 1990-03-24 10:47 | 693 | ||
ident1.ver1.out | 1990-03-24 10:47 | 7.3K | ||
ident1.ver1.in | 1990-03-24 10:47 | 1.9K | ||
ident1.ver1.clauses | 1990-03-24 10:47 | 1.8K | ||
ident1.desc | 1990-03-24 10:47 | 544 | ||
cyclic.ver3.out | 1990-03-24 10:47 | 4.5K | ||
cyclic.ver3.in | 1990-03-24 10:47 | 3.7K | ||
cyclic.desc | 1990-03-24 10:47 | 730 | ||
commutator.ver2.in | 1990-03-24 10:47 | 1.8K | ||
commutator.ver2.clauses | 1990-03-24 10:47 | 1.6K | ||
commutator.ver1.in | 1990-03-24 10:47 | 2.0K | ||
commutator.ver1.clauses | 1990-03-24 10:47 | 1.7K | ||
commutator.desc | 1990-03-24 10:47 | 792 | ||
README | 1990-03-24 10:47 | 4.2K | ||
Lemmas.p.clauses | 1990-03-24 10:47 | 878 | ||
Lemmas.eq.clauses | 1990-03-24 10:47 | 779 | ||
Group.ax.p.clauses | 1990-03-24 10:47 | 1.6K | ||
Group.ax.g.clauses | 1990-03-24 10:47 | 2.7K | ||
Group.ax.eq.clauses | 1990-03-24 10:47 | 1.6K | ||