Index of /ftp/hvg/hol88/contrib/more_lists/help/thms/general_lists

	Name	Last modified	Size	Description
	Parent Directory		-
	CONS_ONE_ONE.doc.gz	1994-02-09 09:32	125
	LENGTH1_CONS_HD.doc.gz	1994-02-09 09:32	116
	LENGTH_EQ.doc.gz	1994-02-09 09:32	105
	LENGTH_EQ_SUC_IMP_NOT_NIL.doc.gz	1994-02-09 09:32	141
	LENGTH_EQ_SUC_IMP_NOT_NULL.doc.gz	1994-02-09 09:32	140
	LENGTH_GR_0_NOT_NIL.doc.gz	1994-02-09 09:32	126
	LENGTH_LESS_EQ.doc.gz	1994-02-09 09:32	136
	LENGTH_LESS_EQ_EQ.doc.gz	1994-02-09 09:32	134
	LENGTH_LESS_IMP_NOT_EQ.doc.gz	1994-02-09 09:32	136
	LENGTH_NOT_NULL.doc.gz	1994-02-09 09:32	111
	LENGTH_NULL.doc.gz	1994-02-09 09:32	100
	LENGTH_TL_SUB.doc.gz	1994-02-09 09:32	119
	L_EQ_NIL.doc.gz	1994-02-09 09:32	95
	NIL_EQ_L.doc.gz	1994-02-09 09:32	95
	NOT_LENGTH_EQ.doc.gz	1994-02-09 09:32	116
	NULL_EQ_EMPTY.doc.gz	1994-02-09 09:32	101
	TL_NIL.doc.gz	1994-02-09 09:32	103
	TL_NULL.doc.gz	1994-02-09 09:32	105
	list_NULL_CASES.doc.gz	1994-02-09 09:32	118