![]() | 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 | |