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

	Name	Last modified	Size	Description
	Parent Directory		-
	APPEND_UNAPPEND_LEFT_ID.doc.gz	1994-02-09 09:33	112
	APPEND_UNAPPEND_RIGHT_ID.doc.gz	1994-02-09 09:33	114
	EXISTS_UNAPPEND_LEFT.doc.gz	1994-02-09 09:33	120
	EXISTS_UNAPPEND_RIGHT.doc.gz	1994-02-09 09:33	121
	LLEQ_LEFT_APPEND_UNAPPEND_LEFT.doc.gz	1994-02-09 09:33	140
	LLEQ_LEFT_UNAPPEND_LEFT_CONS.doc.gz	1994-02-09 09:33	151
	LLEQ_RIGHT_APPEND_UNAPPEND_RIGHT.doc.gz	1994-02-09 09:33	143
	LLEQ_RIGHT_UNAPPEND_RIGHT_SNOC.doc.gz	1994-02-09 09:33	154
	LLESS_LEFT_APPEND_UNAPPEND_LEFT.doc.gz	1994-02-09 09:33	142
	LLESS_LEFT_APPEND_UNAPPEND_LEFT_LLESS_LEFT.doc.gz	1994-02-09 09:33	168
	LLESS_RIGHT_APPEND_UNAPPEND_RIGHT.doc.gz	1994-02-09 09:33	145
	LLESS_RIGHT_APPEND_UNAPPEND_RIGHT_LLESS_RIGHT.doc.gz	1994-02-09 09:33	172
	NULL_UNAPPEND_LEFT.doc.gz	1994-02-09 09:33	102
	NULL_UNAPPEND_RIGHT.doc.gz	1994-02-09 09:33	104
	UNAPPEND_LEFT.doc.gz	1994-02-09 09:33	101
	UNAPPEND_LEFT_CONS.doc.gz	1994-02-09 09:33	139
	UNAPPEND_LEFT_EQ_NIL.doc.gz	1994-02-09 09:33	106
	UNAPPEND_LEFT_NIL.doc.gz	1994-02-09 09:33	100
	UNAPPEND_LEFT_UNAPPEND_RIGHT.doc.gz	1994-02-09 09:33	145
	UNAPPEND_RIGHT.doc.gz	1994-02-09 09:33	103
	UNAPPEND_RIGHT_EQ_NIL.doc.gz	1994-02-09 09:33	108
	UNAPPEND_RIGHT_NIL.doc.gz	1994-02-09 09:33	102
	UNAPPEND_RIGHT_SNOC.doc.gz	1994-02-09 09:33	141
	UNAPPEND_RIGHT_UNAPPEND_LEFT.doc.gz	1994-02-09 09:33	145