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

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443