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