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

	Name	Last modified	Size	Description
	Parent Directory		-
	APPEND_11.doc.gz	1994-02-09 09:32	96
	APPEND_BUTLAST_LAST.doc.gz	1994-02-09 09:32	120
	APPEND_CLAUSES.doc.gz	1994-02-09 09:32	164
	APPEND_CONS.doc.gz	1994-02-09 09:32	107
	APPEND_CONS_EQ_APPEND.doc.gz	1994-02-09 09:32	124
	APPEND_CONS_EQ_APPEND_SNOC.doc.gz	1994-02-09 09:32	133
	APPEND_EL_11.doc.gz	1994-02-09 09:32	131
	APPEND_EL_REVERSE_CONS.doc.gz	1994-02-09 09:32	124
	APPEND_ID.doc.gz	1994-02-09 09:32	96
	APPEND_ID_NULL.doc.gz	1994-02-09 09:32	102
	APPEND_IS_NIL.doc.gz	1994-02-09 09:32	109
	APPEND_IS_NULL.doc.gz	1994-02-09 09:32	107
	APPEND_JOIN.doc.gz	1994-02-09 09:32	142
	APPEND_LENGTH_EQ.doc.gz	1994-02-09 09:32	159
	APPEND_NIL.doc.gz	1994-02-09 09:32	96
	BUTLAST1.doc.gz	1994-02-09 09:32	91
	BUTLAST_APPEND.doc.gz	1994-02-09 09:32	126
	CONS_APPEND_CONS.doc.gz	1994-02-09 09:32	100
	CONS_MEMBER_LIST.doc.gz	1994-02-09 09:32	157
	CONS_MEMBER_LIST_NULL.doc.gz	1994-02-09 09:32	165
	HD_APPEND.doc.gz	1994-02-09 09:32	110
	HD_APPEND_NULL.doc.gz	1994-02-09 09:32	116
	HEAD_APPEND.doc.gz	1994-02-09 09:32	109
	HEAD_APPEND_NULL.doc.gz	1994-02-09 09:32	118
	IMP_APPEND_NOT_NIL.doc.gz	1994-02-09 09:32	124
	IMP_APPEND_NOT_NULL.doc.gz	1994-02-09 09:32	120
	ITERATED.doc.gz	1994-02-09 09:32	118
	ITERATED_EMPTY.doc.gz	1994-02-09 09:32	95
	LAST1.doc.gz	1994-02-09 09:32	85
	LAST_APPEND.doc.gz	1994-02-09 09:32	112
	LENGTH_APPEND_EL.doc.gz	1994-02-09 09:32	137
	LENGTH_CLAUSES.doc.gz	1994-02-09 09:32	183
	LENGTH_REPLICATE.doc.gz	1994-02-09 09:32	103
	NIL_NOT_APPEND_CONS2.doc.gz	1994-02-09 09:32	129
	NOT_NIL_APPEND_EL.doc.gz	1994-02-09 09:32	107
	NULL_ITERATED.doc.gz	1994-02-09 09:32	90
	NULL_NOT_APPEND_CONS.doc.gz	1994-02-09 09:32	128
	ONE_MEMBER_LIST.doc.gz	1994-02-09 09:32	122
	ONE_MEMBER_LIST_NULL.doc.gz	1994-02-09 09:32	131
	REPLICATE.doc.gz	1994-02-09 09:32	122
	REVERSE.doc.gz	1994-02-09 09:32	113
	REVERSE_APPEND.doc.gz	1994-02-09 09:32	111
	REVERSE_APPEND_EL_CONS.doc.gz	1994-02-09 09:32	124
	SNOC_APPEND_CONS.doc.gz	1994-02-09 09:32	105
	SUBSEQUENCE_EXISTS.doc.gz	1994-02-09 09:32	110
	TL_APPEND.doc.gz	1994-02-09 09:32	116
	TL_APPEND_NULL.doc.gz	1994-02-09 09:32	121
	list_APPEND_Axiom.doc.gz	1994-02-09 09:32	140
	list_APPEND_CASES.doc.gz	1994-02-09 09:32	118
	list_APPEND_INDUCT.doc.gz	1994-02-09 09:32	132
	list_APPEND_NULL_CASES.doc.gz	1994-02-09 09:32	125