Mordor OpenTheory Repo - Package list-1.20

Package list-1.20

For more details see the package document.

list-append-1.12 — Definitions and theorems about the list append function
list-concat-1.12 — Definitions and theorems about the list concat function
list-def-1.11 — list-def
list-dest-1.13 — Theory of the list destructors
list-filter-1.12 — Definitions and theorems about the list filter function
list-interval-1.13 — Definitions and theorems about the list interval function
list-last-1.12 — Definitions and theorems about the list last function
list-length-1.12 — Definitions and theorems about the list length function
list-map-1.12 — Definitions and theorems about the list map function
list-member-1.15 — Definitions and theorems about the list member function
list-nth-1.13 — Definitions and theorems about the list nth function
list-nub-1.15 — Definitions and theorems about the list nub function
list-quant-1.10 — Definitions and theorems about list quantifiers
list-replicate-1.12 — Definitions and theorems about the list replicate function
list-reverse-1.12 — Definitions and theorems about the list reverse function
list-set-1.12 — Viewing lists as finite sets
list-take-drop-1.13 — Definitions and theorems about the list take and drop functions
list-thm-1.11 — list-thm
list-zipwith-1.13 — Definitions and theorems about the list zipWith function