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

	Name	Last modified	Size	Description
	Parent Directory		-
	BUTLAST.doc.gz	1994-02-09 09:32	84
	BUTLAST_CONS.doc.gz	1994-02-09 09:32	114
	BUTLAST_CONS_NOT_NULL.doc.gz	1994-02-09 09:32	127
	BUTLAST_DEF.doc.gz	1994-02-09 09:32	100
	BUTLAST_EL.doc.gz	1994-02-09 09:32	84
	BUTLAST_NIL.doc.gz	1994-02-09 09:32	104
	BUTLAST_NULL.doc.gz	1994-02-09 09:32	106
	BUTLAST_REVERSE_EQ_REVERSE_TL.doc.gz	1994-02-09 09:32	137
	BUTLAST_TL.doc.gz	1994-02-09 09:32	109
	HD_BUTLAST.doc.gz	1994-02-09 09:32	105
	HD_SNOC.doc.gz	1994-02-09 09:32	97
	ISO_REVERSE.doc.gz	1994-02-09 09:32	76
	LAST.doc.gz	1994-02-09 09:32	78
	LAST_BUTLAST_exist.doc.gz	1994-02-09 09:32	118
	LAST_CONS.doc.gz	1994-02-09 09:32	101
	LAST_CONS_NOT_NULL.doc.gz	1994-02-09 09:32	117
	LAST_DEF.doc.gz	1994-02-09 09:32	98
	LAST_EL.doc.gz	1994-02-09 09:32	77
	LAST_REVERSE_EQ_HD.doc.gz	1994-02-09 09:32	119
	LAST_TL.doc.gz	1994-02-09 09:32	99
	LENGTH_BUTLAST.doc.gz	1994-02-09 09:32	113
	LENGTH_SNOC.doc.gz	1994-02-09 09:32	123
	LENGTH_TL.doc.gz	1994-02-09 09:32	103
	NOT_NIL_SNOC.doc.gz	1994-02-09 09:32	92
	NOT_SNOC_NIL.doc.gz	1994-02-09 09:32	93
	REVERSE_CLAUSES.doc.gz	1994-02-09 09:32	151
	REVERSE_DEF.doc.gz	1994-02-09 09:32	117
	REVERSE_EQ_NIL.doc.gz	1994-02-09 09:32	98
	REVERSE_EXISTS.doc.gz	1994-02-09 09:32	94
	REVERSE_NULL.doc.gz	1994-02-09 09:32	92
	REVERSE_REVERSE.doc.gz	1994-02-09 09:32	89
	REVERSE_SINGLE.doc.gz	1994-02-09 09:32	91
	SAME_LENGTH_SNOC.doc.gz	1994-02-09 09:32	142
	SNOC.doc.gz	1994-02-09 09:32	95
	SNOC_11.doc.gz	1994-02-09 09:32	105
	SNOC_Axiom.doc.gz	1994-02-09 09:32	121
	SNOC_CASES.doc.gz	1994-02-09 09:32	103
	SNOC_DEF.doc.gz	1994-02-09 09:32	112
	SNOC_EQ_LENGTH_EQ.doc.gz	1994-02-09 09:32	126
	SNOC_INDUCT.doc.gz	1994-02-09 09:32	116
	SNOC_NOT_NULL.doc.gz	1994-02-09 09:32	92
	SNOC_NULL_CASES.doc.gz	1994-02-09 09:32	108
	SNOC_ONE_ONE.doc.gz	1994-02-09 09:32	116
	SNOC_REVERSE_CONS.doc.gz	1994-02-09 09:32	110
	TL_SNOC.doc.gz	1994-02-09 09:32	104