Mordor OpenTheory Repo - Package list-1.16

Package list-1.16

For more details see the package document.

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