Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
LANDER.BAS | 22-Sep-1990 00:00 | 1.6K | ||
ansi.mk | 22-Sep-1990 00:00 | 1.7K | ||
baruch.c | 22-Sep-1990 00:00 | 231 | ||
cmills.c | 22-Sep-1990 00:00 | 1.5K | ||
common.mk | 22-Sep-1990 00:00 | 2.3K | ||
dds.c | 22-Sep-1990 00:00 | 1.5K | ||
dg.c | 22-Sep-1990 00:00 | 1.5K | ||
jaw.c | 22-Sep-1990 00:00 | 1.0K | ||
pjr.c | 22-Sep-1990 00:00 | 879 | ||
scjones.c | 22-Sep-1990 00:00 | 1.4K | ||
shark.sh | 22-Sep-1990 00:00 | 1.5K | ||
stig.c | 22-Sep-1990 00:00 | 2 | ||
stig.ksh | 22-Sep-1990 00:00 | 136 | ||
tbr.c | 22-Sep-1990 00:00 | 886 | ||
theorem.c | 22-Sep-1990 00:00 | 1.5K | ||
westley.c | 22-Sep-1990 00:00 | 1.5K | ||
Makefile | 29-Jun-1993 00:00 | 1.9K | ||
README | 29-Jun-1993 00:00 | 1.6K | ||
rules | 29-Jun-1993 00:00 | 9.0K | ||
baruch.hint | 23-May-1994 00:00 | 2.2K | ||
cmills.hint | 23-May-1994 00:00 | 1.4K | ||
dds.hint | 23-May-1994 00:00 | 2.6K | ||
dg.hint | 23-May-1994 00:00 | 2.0K | ||
jaw.hint | 23-May-1994 00:00 | 7.6K | ||
pjr.hint | 23-May-1994 00:00 | 1.8K | ||
scjones.hint | 23-May-1994 00:00 | 2.7K | ||
stig.hint | 23-May-1994 00:00 | 2.5K | ||
tbr.hint | 23-May-1994 00:00 | 4.1K | ||
theorem.hint | 23-May-1994 00:00 | 2.9K | ||
westley.hint | 23-May-1994 00:00 | 1.8K | ||
1990.tar.Z | 29-Sep-1995 00:00 | 41K | ||
1990.tgz | 23-May-1996 00:00 | 27K | ||