teach

Name	Size	Modified
Up
blockex	3.7 KiB	01/06/1988 12:18:12 PM +00:00
blockpsys	2.5 KiB	11/30/1987 02:45:52 PM +00:00
crossriver	34 KiB	10/11/1989 09:40:26 AM +00:00
difflists	6.1 KiB	01/29/1990 08:30:32 AM +00:00
engine	8.3 KiB	02/03/1989 12:03:16 PM +00:00
exercises1	4.5 KiB	01/06/1988 12:21:26 PM +00:00
exercises2	5.3 KiB	01/06/1988 12:21:52 PM +00:00
family	18 KiB	01/25/1993 02:53:08 PM +00:00
ilp_cut_ex	2.8 KiB	10/06/1993 11:44:56 AM +00:00
ilp_lists_ex1	4.5 KiB	11/05/1993 03:27:34 PM +00:00
ilp_lists_ex2	2.5 KiB	10/06/1993 11:43:12 AM +00:00
ilp_preds_ex	2.2 KiB	10/06/1993 11:39:24 AM +00:00
ilp_program_ex	1.8 KiB	11/23/1993 01:14:06 PM +00:00
ilp_search_ex	2.7 KiB	10/20/1993 12:56:08 PM +00:00
knows	1.9 KiB	01/06/1988 12:20:18 PM +00:00
listex	6.6 KiB	12/15/1987 03:37:00 PM +00:00
lists	12 KiB	01/30/1990 03:11:00 PM +00:00
lists2	315 B	01/30/1990 03:12:08 PM +00:00
localplogindex	607 B	12/06/2004 06:37:30 PM +00:00
matching	6.3 KiB	11/30/1987 02:45:52 PM +00:00
normalize	4.7 KiB	02/01/1989 11:36:58 AM +00:00
normalize.help	4.7 KiB	02/01/1989 11:13:55 AM +00:00
objects	22 KiB	11/30/1987 02:45:54 PM +00:00
pchart	14 KiB	03/03/1991 04:22:16 PM +00:00
pclass	26 KiB	10/26/1989 12:03:28 PM +00:00
pfocus	31 KiB	10/31/1989 11:37:06 AM +00:00
pgunify	7.3 KiB	11/23/1989 09:55:06 AM +00:00
plogpsys	6.2 KiB	11/26/1993 03:57:16 PM +00:00
properties	24 KiB	03/06/1990 04:49:38 PM +00:00
range	2.8 KiB	11/30/1987 02:45:54 PM +00:00
readline	867 B	11/30/1987 02:45:54 PM +00:00
rules	8.7 KiB	11/30/1987 02:45:54 PM +00:00
search	3.7 KiB	11/24/1993 03:06:50 PM +00:00
simplepsys	8.6 KiB	04/18/1988 06:04:18 PM +00:00
sir	27 KiB	11/30/1987 02:45:54 PM +00:00
soccer	3.2 KiB	01/06/1988 12:19:28 PM +00:00
teach	16 KiB	11/30/1987 02:45:54 PM +00:00
ttss	13 KiB	06/01/1990 11:44:42 AM +00:00
turtle	13 KiB	11/30/1987 02:45:54 PM +00:00
ved	15 KiB	11/30/1987 02:45:54 PM +00:00
vedprolog	21 KiB	11/30/1987 02:45:54 PM +00:00