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

	Name	Last modified	Size	Description
	Parent Directory		-
	APPEND_FIRSTN_LASTN.doc.gz	1994-02-09 09:33	144
	APPEND_LASTN_LASTN.doc.gz	1994-02-09 09:33	158
	APPEND_NBUTLAST_LASTN.doc.gz	1994-02-09 09:33	140
	APPEND_NBUTLAST_NTL.doc.gz	1994-02-09 09:33	146
	BUTLAST_TO_NBUTLAST.doc.gz	1994-02-09 09:33	119
	ELL_LASTN.doc.gz	1994-02-09 09:33	125
	ELL_NBUTLAST.doc.gz	1994-02-09 09:33	133
	EL_NBUTLAST.doc.gz	1994-02-09 09:33	140
	EVERY_LASTN.doc.gz	1994-02-09 09:33	125
	LASTN.doc.gz	1994-02-09 09:33	127
	LASTN_APPEND.doc.gz	1994-02-09 09:33	126
	LASTN_APPEND2.doc.gz	1994-02-09 09:33	146
	LASTN_CONS.doc.gz	1994-02-09 09:33	121
	LASTN_LASTN.doc.gz	1994-02-09 09:33	126
	LASTN_LENGTH_APPEND.doc.gz	1994-02-09 09:33	119
	LASTN_LENGTH_ID.doc.gz	1994-02-09 09:33	104
	LASTN_MAP.doc.gz	1994-02-09 09:33	122
	LASTN_MAP2.doc.gz	1994-02-09 09:33	145
	LASTN_NBUTLAST.doc.gz	1994-02-09 09:33	140
	LASTN_NBUTLAST_APPEND.doc.gz	1994-02-09 09:33	206
	LASTN_NBUTLAST_TL_SPLIT.doc.gz	1994-02-09 09:33	186
	LASTN_NIL.doc.gz	1994-02-09 09:33	104
	LASTN_NULL.doc.gz	1994-02-09 09:33	104
	LASTN_SUC_SNOC.doc.gz	1994-02-09 09:33	119
	LAST_LASTN.doc.gz	1994-02-09 09:33	121
	LAST_NBUTLAST_EL.doc.gz	1994-02-09 09:33	141
	LAST_NBUTLAST_ELL.doc.gz	1994-02-09 09:33	128
	LAST_TO_LASTN.doc.gz	1994-02-09 09:33	113
	LENGTH_LASTN.doc.gz	1994-02-09 09:33	113
	NBUTLAST.doc.gz	1994-02-09 09:33	117
	NBUTLAST_APPEND.doc.gz	1994-02-09 09:33	139
	NBUTLAST_APPEND1.doc.gz	1994-02-09 09:33	147
	NBUTLAST_BUTLAST_SYM.doc.gz	1994-02-09 09:33	115
	NBUTLAST_CONS.doc.gz	1994-02-09 09:33	134
	NBUTLAST_LASTN.doc.gz	1994-02-09 09:33	148
	NBUTLAST_LASTN_NIL.doc.gz	1994-02-09 09:33	133
	NBUTLAST_LENGTH.doc.gz	1994-02-09 09:33	123
	NBUTLAST_LENGTH_APPEND.doc.gz	1994-02-09 09:33	129
	NBUTLAST_LENGTH_CONS.doc.gz	1994-02-09 09:33	123
	NBUTLAST_LENGTH_NIL.doc.gz	1994-02-09 09:33	113
	NBUTLAST_LENGTH_NULL.doc.gz	1994-02-09 09:33	115
	NBUTLAST_MAP.doc.gz	1994-02-09 09:33	131
	NBUTLAST_MAP2.doc.gz	1994-02-09 09:33	151
	NBUTLAST_NBUTLAST.doc.gz	1994-02-09 09:33	137
	NBUTLAST_SIMP_REC.doc.gz	1994-02-09 09:33	110
	NBUTLAST_SUC_SNOC.doc.gz	1994-02-09 09:33	122
	NOT_NULL_NBUTLAST.doc.gz	1994-02-09 09:33	126