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

	Name	Last modified	Size	Description
	Parent Directory		-
	APPEND_FIRSTN_NTL.doc.gz	1994-02-09 09:33	129
	APPEND_SUBSEQ.doc.gz	1994-02-09 09:33	118
	APPEND_SUBSEQ2.doc.gz	1994-02-09 09:33	140
	EL_HD_NTAIL.doc.gz	1994-02-09 09:33	108
	EL_NTAIL_1.doc.gz	1994-02-09 09:33	123
	FIRSTN.doc.gz	1994-02-09 09:33	121
	FIRSTN_APPEND1.doc.gz	1994-02-09 09:33	127
	FIRSTN_FIRSTN.doc.gz	1994-02-09 09:33	124
	FIRSTN_LENGTH_ID.doc.gz	1994-02-09 09:33	101
	FIRSTN_NIL.doc.gz	1994-02-09 09:33	101
	FIRSTN_NULL.doc.gz	1994-02-09 09:33	102
	LENGTH_FIRSTN.doc.gz	1994-02-09 09:33	110
	LENGTH_NTAIL.doc.gz	1994-02-09 09:33	100
	LENGTH_NTAIL_LESS.doc.gz	1994-02-09 09:33	144
	NOT_NULL_NTAIL.doc.gz	1994-02-09 09:33	103
	NOT_NULL_NTAIL_TL.doc.gz	1994-02-09 09:33	119
	NTAIL.doc.gz	1994-02-09 09:33	102
	NTAIL_NIL.doc.gz	1994-02-09 09:33	85
	NTAIL_NTAIL.doc.gz	1994-02-09 09:33	100
	NTAIL_TAIL.doc.gz	1994-02-09 09:33	96
	NTL.doc.gz	1994-02-09 09:33	99
	NTL_APPEND.doc.gz	1994-02-09 09:33	120
	NTL_LENGTH.doc.gz	1994-02-09 09:33	107
	NTL_LENGTH_APPEND.doc.gz	1994-02-09 09:33	112
	NTL_LENGTH_NIL.doc.gz	1994-02-09 09:33	97
	NTL_LENGTH_NULL.doc.gz	1994-02-09 09:33	100
	NTL_NTL.doc.gz	1994-02-09 09:33	114
	NTL_SIMP_REC.doc.gz	1994-02-09 09:33	95
	NTL_TL_SYM.doc.gz	1994-02-09 09:33	94
	NULL_NTAIL.doc.gz	1994-02-09 09:33	84
	NULL_SUBSEQ.doc.gz	1994-02-09 09:33	86
	SUBSEQ.doc.gz	1994-02-09 09:33	141
	SUBSEQ2.doc.gz	1994-02-09 09:33	104
	SUBSEQUENCES.doc.gz	1994-02-09 09:33	130
	SUBSEQ_APPEND.doc.gz	1994-02-09 09:33	120
	SUBSEQ_APPEND2.doc.gz	1994-02-09 09:33	107
	SUBSEQ_EMPTY_LIST.doc.gz	1994-02-09 09:33	101
	SUBSEQ_EQ.doc.gz	1994-02-09 09:33	102
	SUBSEQ_EXISTS.doc.gz	1994-02-09 09:33	107
	SUBSEQ_MAP.doc.gz	1994-02-09 09:33	100
	SUBSEQ_SUBSEQ.doc.gz	1994-02-09 09:33	94
	TAIL_NTAIL.doc.gz	1994-02-09 09:33	92