Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
new.ver2.out | 1990-03-24 10:48 | 1.8K | ||
new.ver2.in | 1990-03-24 10:48 | 1.1K | ||
new.ver2.clauses | 1990-03-24 10:48 | 1.0K | ||
new.ver1.out | 1990-03-24 10:48 | 2.6K | ||
new.ver1.in | 1990-03-24 10:48 | 1.5K | ||
new.ver1.clauses | 1990-03-24 10:48 | 1.5K | ||
new.desc | 1990-03-24 10:48 | 547 | ||
hp11.ver3.out | 1990-03-24 10:48 | 2.7K | ||
hp11.ver3.in | 1990-03-24 10:48 | 2.1K | ||
hp11.ver3.clauses | 1990-03-24 10:48 | 1.5K | ||
hp11.ver2.out | 1990-03-24 10:48 | 4.1K | ||
hp11.ver2.in | 1990-03-24 10:48 | 1.9K | ||
hp11.ver2.clauses | 1990-03-24 10:48 | 1.5K | ||
hp11.ver1.out | 1990-03-24 10:48 | 3.0K | ||
hp11.ver1.in | 1990-03-24 10:48 | 2.8K | ||
hp11.ver1.clauses | 1990-03-24 10:48 | 2.4K | ||
hp11.desc | 1990-03-24 10:48 | 933 | ||
hp10.ver3.out | 1990-03-24 10:48 | 3.1K | ||
hp10.ver3.in | 1990-03-24 10:48 | 1.6K | ||
hp10.ver3.clauses | 1990-03-24 10:48 | 1.2K | ||
hp10.ver2.out | 1990-03-24 10:48 | 969 | ||
hp10.ver2.in | 1990-03-24 10:48 | 1.5K | ||
hp10.ver2.clauses | 1990-03-24 10:48 | 1.3K | ||
hp10.ver1.out | 1990-03-24 10:48 | 3.2K | ||
hp10.ver1.in | 1990-03-24 10:48 | 2.0K | ||
hp10.ver1.clauses | 1990-03-24 10:48 | 1.7K | ||
hp10.desc | 1990-03-24 10:48 | 842 | ||
hp9.ver3.out | 1990-03-24 10:48 | 2.9K | ||
hp9.ver3.in | 1990-03-24 10:48 | 1.5K | ||
hp9.ver3.clauses | 1990-03-24 10:48 | 1.2K | ||
hp9.ver2.out | 1990-03-24 10:48 | 3.5K | ||
hp9.ver2.in | 1990-03-24 10:48 | 1.5K | ||
hp9.ver2.clauses | 1990-03-24 10:48 | 1.2K | ||
hp9.ver1.out | 1990-03-24 10:48 | 3.2K | ||
hp9.ver1.in | 1990-03-24 10:48 | 2.0K | ||
hp9.ver1.clauses | 1990-03-24 10:48 | 1.7K | ||
hp9.desc | 1990-03-24 10:48 | 791 | ||
hp8.ver3.out | 1990-03-24 10:48 | 2.0K | ||
hp8.ver3.in | 1990-03-24 10:48 | 1.3K | ||
hp8.ver3.clauses | 1990-03-24 10:48 | 1.0K | ||
hp8.ver2.out | 1990-03-24 10:48 | 4.1K | ||
hp8.ver2.in | 1990-03-24 10:48 | 1.3K | ||
hp8.ver2.clauses | 1990-03-24 10:48 | 1.1K | ||
hp8.ver1.out | 1990-03-24 10:48 | 25K | ||
hp8.ver1.in | 1990-03-24 10:48 | 1.6K | ||
hp8.ver1.clauses | 1990-03-24 10:48 | 1.5K | ||
hp8.desc | 1990-03-24 10:48 | 784 | ||
hp7.ver3.out | 1990-03-24 10:48 | 2.2K | ||
hp7.ver3.in | 1990-03-24 10:48 | 1.3K | ||
hp7.ver3.clauses | 1990-03-24 10:48 | 1.1K | ||
hp7.ver2.out | 1990-03-24 10:48 | 2.4K | ||
hp7.ver2.in | 1990-03-24 10:48 | 1.5K | ||
hp7.ver2.clauses | 1990-03-24 10:48 | 1.2K | ||
hp7.ver1.out | 1990-03-24 10:48 | 2.8K | ||
hp7.ver1.in | 1990-03-24 10:48 | 1.9K | ||
hp7.ver1.clauses | 1990-03-24 10:48 | 1.7K | ||
hp7.desc | 1990-03-24 10:48 | 827 | ||
hp6.ver3.out | 1990-03-24 10:48 | 2.4K | ||
hp6.ver3.in | 1990-03-24 10:48 | 1.3K | ||
hp6.ver3.clauses | 1990-03-24 10:48 | 1.0K | ||
hp6.ver2.out | 1990-03-24 10:48 | 2.7K | ||
hp6.ver2.in | 1990-03-24 10:48 | 1.3K | ||
hp6.ver2.clauses | 1990-03-24 10:48 | 1.1K | ||
hp6.ver1.out | 1990-03-24 10:48 | 3.1K | ||
hp6.ver1.in | 1990-03-24 10:48 | 1.8K | ||
hp6.ver1.clauses | 1990-03-24 10:48 | 1.7K | ||
hp6.desc | 1990-03-24 10:48 | 804 | ||
hp5.ver3.out | 1990-03-24 10:48 | 2.3K | ||
hp5.ver3.in | 1990-03-24 10:48 | 1.3K | ||
hp5.ver3.clauses | 1990-03-24 10:48 | 1.0K | ||
hp5.ver2.out | 1990-03-24 10:48 | 9.1K | ||
hp5.ver2.in | 1990-03-24 10:48 | 1.3K | ||
hp5.ver2.clauses | 1990-03-24 10:48 | 1.1K | ||
hp5.ver1.out | 1990-03-24 10:48 | 2.9K | ||
hp5.ver1.in | 1990-03-24 10:48 | 1.6K | ||
hp5.ver1.clauses | 1990-03-24 10:48 | 1.5K | ||
hp5.desc | 1990-03-24 10:48 | 795 | ||
hp4.ver3.out | 1990-03-24 10:48 | 2.4K | ||
hp4.ver3.in | 1990-03-24 10:48 | 1.3K | ||
hp4.ver3.clauses | 1990-03-24 10:48 | 1.0K | ||
hp4.ver2.out | 1990-03-24 10:48 | 3.0K | ||
hp4.ver2.in | 1990-03-24 10:48 | 1.3K | ||
hp4.ver2.clauses | 1990-03-24 10:48 | 1.1K | ||
hp4.ver1.out | 1990-03-24 10:48 | 13K | ||
hp4.ver1.in | 1990-03-24 10:48 | 1.7K | ||
hp4.ver1.clauses | 1990-03-24 10:48 | 1.6K | ||
hp4.desc | 1990-03-24 10:48 | 774 | ||
hp3.ver3.out | 1990-03-24 10:48 | 2.1K | ||
hp3.ver3.in | 1990-03-24 10:48 | 1.2K | ||
hp3.ver3.clauses | 1990-03-24 10:48 | 1.0K | ||
hp3.ver2.out | 1990-03-24 10:48 | 19K | ||
hp3.ver2.in | 1990-03-24 10:48 | 1.3K | ||
hp3.ver2.clauses | 1990-03-24 10:48 | 1.1K | ||
hp3.ver1.out | 1990-03-24 10:48 | 16K | ||
hp3.ver1.in | 1990-03-24 10:48 | 1.6K | ||
hp3.ver1.clauses | 1990-03-24 10:48 | 1.5K | ||
hp3.desc | 1990-03-24 10:48 | 754 | ||
hp2.ver3.out | 1990-03-24 10:48 | 1.7K | ||
hp2.ver3.in | 1990-03-24 10:48 | 1.1K | ||
hp2.ver3.clauses | 1990-03-24 10:48 | 1.0K | ||
hp2.ver2.out | 1990-03-24 10:48 | 1.9K | ||
hp2.ver2.in | 1990-03-24 10:48 | 1.1K | ||
hp2.ver2.clauses | 1990-03-24 10:48 | 1.0K | ||
hp2.ver1.out | 1990-03-24 10:48 | 2.2K | ||
hp2.ver1.in | 1990-03-24 10:48 | 1.5K | ||
hp2.ver1.clauses | 1990-03-24 10:48 | 1.5K | ||
hp2.desc | 1990-03-24 10:48 | 715 | ||
hp1.ver3.out | 1990-03-24 10:48 | 1.7K | ||
hp1.ver3.in | 1990-03-24 10:48 | 1.1K | ||
hp1.ver3.clauses | 1990-03-24 10:48 | 1.0K | ||
hp1.ver2.out | 1990-03-24 10:48 | 1.8K | ||
hp1.ver2.in | 1990-03-24 10:48 | 1.1K | ||
hp1.ver2.clauses | 1990-03-24 10:48 | 1.0K | ||
hp1.ver1.out | 1990-03-24 10:48 | 2.2K | ||
hp1.ver1.in | 1990-03-24 10:48 | 1.5K | ||
hp1.ver1.clauses | 1990-03-24 10:48 | 1.5K | ||
hp1.desc | 1990-03-24 10:48 | 715 | ||
axioms.ver3 | 1990-03-24 10:48 | 1.5K | ||
axioms.ver2 | 1990-03-24 10:48 | 1.3K | ||
axioms.ver1 | 1990-03-24 10:48 | 1.8K | ||
README | 1990-03-24 10:48 | 2.8K | ||