Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 1990-03-24 10:47 | 3.4K | ||
p1.desc | 1990-03-24 10:47 | 1.0K | ||
p2.ver1.in | 1990-03-24 10:47 | 2.7K | ||
p3.desc | 1990-03-24 10:47 | 1.0K | ||
p4.desc | 1990-03-24 10:47 | 1.0K | ||
p5.desc | 1990-03-24 10:47 | 767 | ||
p6.desc | 1990-03-24 10:47 | 766 | ||
axioms.mitchell | 1990-03-24 10:47 | 2.4K | ||
p1.ver1.in | 1990-03-24 10:47 | 3.0K | ||
p2.desc | 1990-03-24 10:47 | 1.0K | ||
p3.ver1.in | 1990-03-24 10:47 | 3.1K | ||
p4.ver1.in | 1990-03-24 10:47 | 2.8K | ||
p7.desc | 1990-03-24 10:47 | 771 | ||
p8.desc | 1990-03-24 10:47 | 576 | ||
axioms.quaife | 1990-03-24 10:47 | 1.1K | ||
axioms.scott | 1990-03-24 10:47 | 3.2K | ||
p1.ver1.clauses | 1990-03-24 10:47 | 2.7K | ||
p5.ver1.in | 1990-03-24 10:47 | 2.6K | ||
p6.ver1.in | 1990-03-24 10:47 | 2.5K | ||
p6.ver3.in | 1990-03-24 10:47 | 2.6K | ||
p7.ver1.in | 1990-03-24 10:47 | 2.5K | ||
p8.ver1.in | 1990-03-24 10:47 | 2.5K | ||
p2.ver1.clauses | 1990-03-24 10:47 | 2.4K | ||
p2.ver1.out | 1990-03-24 10:47 | 4.1K | ||
p3.ver1.clauses | 1990-03-24 10:47 | 2.8K | ||
p3.ver1.out | 1990-03-24 10:47 | 3.8K | ||
p4.ver1.clauses | 1990-03-24 10:47 | 2.5K | ||
p5.ver1.clauses | 1990-03-24 10:47 | 2.4K | ||
p5.ver1.out | 1990-03-24 10:47 | 3.2K | ||
p6.ver1.clauses | 1990-03-24 10:47 | 2.3K | ||
p6.ver1.out | 1990-03-24 10:47 | 3.2K | ||
p7.ver1.clauses | 1990-03-24 10:47 | 2.3K | ||
p7.ver1.out | 1990-03-24 10:47 | 3.0K | ||
p8.ver1.clauses | 1990-03-24 10:47 | 2.3K | ||
p9.ver1.in | 1990-03-24 10:47 | 2.5K | ||
p8.ver1.out | 1990-03-24 10:47 | 3.4K | ||
p9.desc | 1990-03-24 10:47 | 769 | ||
p9.ver1.clauses | 1990-03-24 10:47 | 2.3K | ||
p9.ver1.out | 1990-03-24 10:47 | 3.4K | ||
p10.ver1.clauses | 1990-03-24 10:47 | 2.3K | ||
p10.ver1.in | 1990-03-24 10:47 | 2.5K | ||
p10.ver1.out | 1990-03-24 10:47 | 3.4K | ||
p10.desc | 1990-03-24 10:47 | 774 | ||
p10.ver3.clauses | 1990-03-24 10:47 | 2.3K | ||
p11.ver3.clauses | 1990-03-24 10:47 | 2.3K | ||
p12.ver3.clauses | 1990-03-24 10:47 | 2.3K | ||
p14.ver1.in | 1990-03-24 10:47 | 2.3K | ||
p11.desc | 1990-03-24 10:48 | 972 | ||
p11.ver1.in | 1990-03-24 10:48 | 2.3K | ||
p11.ver1.out | 1990-03-24 10:48 | 2.9K | ||
p12.ver1.in | 1990-03-24 10:48 | 2.3K | ||
p13.ver1.out | 1990-03-24 10:48 | 2.9K | ||
p14.ver1.out | 1990-03-24 10:48 | 2.9K | ||
p12.desc | 1990-03-24 10:48 | 753 | ||
p12.ver1.out | 1990-03-24 10:48 | 2.9K | ||
p13.desc | 1990-03-24 10:48 | 753 | ||
p13.ver1.in | 1990-03-24 10:48 | 2.3K | ||
p14.desc | 1990-03-24 10:48 | 972 | ||
p11.ver1.clauses | 1990-03-24 10:48 | 2.3K | ||
p12.ver1.clauses | 1990-03-24 10:48 | 2.3K | ||
p13.ver1.clauses | 1990-03-24 10:48 | 2.3K | ||
p14.ver1.clauses | 1990-03-24 10:48 | 2.3K | ||
p15.desc | 1990-03-24 10:48 | 2.3K | ||
p15.ver3.no3.in | 1990-03-24 10:48 | 2.5K | ||
p7.ver3.out | 1990-03-24 10:48 | 1.9K | ||
p14.ver3.clauses | 1990-03-24 10:48 | 2.3K | ||
p16.desc | 1990-03-24 10:48 | 559 | ||
p17.desc | 1990-03-24 10:48 | 559 | ||
p18.desc | 1990-03-24 10:48 | 803 | ||
p1.ver2.in | 1990-03-24 10:48 | 1.5K | ||
p4.ver1.out | 1990-03-24 10:48 | 4.1K | ||
p5.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p5.ver3.out | 1990-03-24 10:48 | 3.4K | ||
p7.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p15.ver3.no4.in | 1990-03-24 10:48 | 2.5K | ||
p1.ver1.out | 1990-03-24 10:48 | 3.8K | ||
p5.ver3.clauses | 1990-03-24 10:48 | 2.4K | ||
p6.ver3.out | 1990-03-24 10:48 | 3.4K | ||
p7.ver3.clauses | 1990-03-24 10:48 | 2.4K | ||
p16.ver3.in | 1990-03-24 10:48 | 2.4K | ||
p17.ver3.in | 1990-03-24 10:48 | 2.4K | ||
p15.related.clauses | 1990-03-24 10:48 | 1.8K | ||
p16.ver3.out | 1990-03-24 10:48 | 2.4K | ||
p17.ver3.out | 1990-03-24 10:48 | 2.4K | ||
p18.ver3.in | 1990-03-24 10:48 | 2.5K | ||
p18.ver3.out | 1990-03-24 10:48 | 3.8K | ||
p16.ver3.clauses | 1990-03-24 10:48 | 2.3K | ||
p17.ver3.clauses | 1990-03-24 10:48 | 2.3K | ||
p18.ver1.clauses | 1990-03-24 10:48 | 2.3K | ||
p18.ver1.in | 1990-03-24 10:48 | 2.5K | ||
p18.ver1.out | 1990-03-24 10:48 | 2.9K | ||
p15.ver1.clauses | 1990-03-24 10:48 | 2.7K | ||
p15.ver1.in | 1990-03-24 10:48 | 2.8K | ||
p15.ver1.out | 1990-03-24 10:48 | 3.4K | ||
p15.ver2.in | 1990-03-24 10:48 | 1.3K | ||
p15.ver2.out | 1990-03-24 10:48 | 2.3K | ||
p18.ver3.clauses | 1990-03-24 10:48 | 2.3K | ||
p10.ver3.out | 1990-03-24 10:48 | 2.4K | ||
p11.ver2.in | 1990-03-24 10:48 | 1.2K | ||
p11.ver3.in | 1990-03-24 10:48 | 2.5K | ||
p12.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p14.ver2.in | 1990-03-24 10:48 | 1.2K | ||
p15.ver2.clauses | 1990-03-24 10:48 | 1.0K | ||
p11.ver2.out | 1990-03-24 10:48 | 2.4K | ||
p11.ver3.out | 1990-03-24 10:48 | 2.2K | ||
p12.ver3.out | 1990-03-24 10:48 | 2.3K | ||
p13.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p13.ver3.out | 1990-03-24 10:48 | 2.5K | ||
p14.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p2.ver2.in | 1990-03-24 10:48 | 1.7K | ||
p10.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p11.ver2.clauses | 1990-03-24 10:48 | 899 | ||
p14.ver2.clauses | 1990-03-24 10:48 | 900 | ||
p14.ver2.out | 1990-03-24 10:48 | 2.4K | ||
p14.ver3.out | 1990-03-24 10:48 | 2.3K | ||
p15.related.in | 1990-03-24 10:48 | 2.3K | ||
p1.ver2.out | 1990-03-24 10:48 | 2.4K | ||
p2.ver2.out | 1990-03-24 10:48 | 2.4K | ||
p3.ver2.in | 1990-03-24 10:48 | 1.5K | ||
p3.ver2.out | 1990-03-24 10:48 | 2.4K | ||
p4.ver2.in | 1990-03-24 10:48 | 1.7K | ||
p1.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p2.ver3.in | 1990-03-24 10:48 | 2.7K | ||
p4.ver2.out | 1990-03-24 10:48 | 2.5K | ||
p1.ver3.out | 1990-03-24 10:48 | 2.9K | ||
p2.ver3.clauses | 1990-03-24 10:48 | 2.4K | ||
p2.ver3.out | 1990-03-24 10:48 | 3.3K | ||
p3.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p3.ver3.out | 1990-03-24 10:48 | 2.8K | ||
p4.ver3.clauses | 1990-03-24 10:48 | 2.4K | ||
p4.ver3.in | 1990-03-24 10:48 | 2.7K | ||
p4.ver3.out | 1990-03-24 10:48 | 3.2K | ||
p1.ver3.clauses | 1990-03-24 10:48 | 2.4K | ||
p3.ver3.clauses | 1990-03-24 10:48 | 2.4K | ||
p9.ver3.in | 1990-03-24 10:48 | 2.6K | ||
p9.ver3.out | 1990-03-24 10:48 | 2.4K | ||
p13.ver3.clauses | 1990-03-24 10:48 | 2.3K | ||
p15.ver3.no2.in | 1990-03-24 10:48 | 2.5K | ||
p15.ver3.no2.out | 1990-03-24 10:48 | 2.3K | ||
p15.related.out | 1990-03-24 10:48 | 4.2K | ||
p15.ver3.no1.clauses | 1990-03-24 10:48 | 2.6K | ||
p15.ver3.no1.in | 1990-03-24 10:48 | 2.8K | ||
p15.ver3.no1.out | 1990-03-24 10:48 | 3.3K | ||
p15.ver3.no2.clauses | 1990-03-24 10:48 | 2.3K | ||
p15.ver3.no3.out | 1990-03-24 10:48 | 2.3K | ||
p15.ver3.no4.out | 1990-03-24 10:48 | 2.1K | ||
p1.ver2.clauses | 1990-03-24 10:48 | 1.2K | ||
p2.ver2.clauses | 1990-03-24 10:48 | 1.3K | ||
p3.ver2.clauses | 1990-03-24 10:48 | 1.2K | ||
p4.ver2.clauses | 1990-03-24 10:48 | 1.3K | ||
p6.ver3.clauses | 1990-03-24 10:48 | 2.4K | ||
p9.ver3.clauses | 1990-03-24 10:48 | 2.3K | ||
p15.ver3.no3.clauses | 1990-03-24 10:48 | 2.3K | ||
p15.ver3.no4.clauses | 1990-03-24 10:48 | 2.3K | ||