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
Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443