![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BUTLAST_CONV.doc.gz | 1994-02-09 09:33 | 326 | |
| ELL_CONV.doc.gz | 1994-02-09 09:33 | 386 | |
| EL_CONV.doc.gz | 1994-02-09 09:33 | 343 | |
| EQ_LENGTH_INDUCT_TAC.doc.gz | 1994-02-09 09:33 | 687 | |
| EQ_LENGTH_SNOC_INDUCT_TAC.doc.gz | 1994-02-09 09:33 | 705 | |
| LASTN_CONV.doc.gz | 1994-02-09 09:33 | 355 | |
| LAST_CONV.doc.gz | 1994-02-09 09:33 | 313 | |
| LENGTH_LIST_INDUCT_TAC.doc.gz | 1994-02-09 09:33 | 741 | |
| LIST_APPEND_INDUCT_TAC.doc.gz | 1994-02-09 09:33 | 645 | |
| MAP2_CONV.doc.gz | 1994-02-09 09:33 | 795 | |
| NBUTLAST_CONV.doc.gz | 1994-02-09 09:33 | 360 | |
| SNOC_CONV.doc.gz | 1994-02-09 09:33 | 320 | |
| SNOC_INDUCT_TAC.doc.gz | 1994-02-09 09:33 | 625 | |
| SPLIT_CONV.doc.gz | 1994-02-09 09:33 | 351 | |
| SUBST_REVERSE_CONV.doc.gz | 1994-02-09 09:33 | 305 | |