Gilith OpenTheory Repo - Package list-1.1

Package list-1.1

For more details see the package document.

list-append-1.0 — Definitions and theorems about the list append function
list-concat-1.0 — Definitions and theorems about the list concat function
list-def-1.0 — list-def
list-filter-1.0 — Definitions and theorems about the list filter function
list-interval-1.0 — Definitions and theorems about the list interval function
list-last-1.0 — Definitions and theorems about the list last function
list-length-1.0 — Definitions and theorems about the list length function
list-map-1.0 — Definitions and theorems about the list map function
list-member-1.0 — Definitions and theorems about the list member function
list-nth-1.0 — Definitions and theorems about the list nth function
list-quant-1.0 — Definitions and theorems about list quantifiers
list-replicate-1.0 — Definitions and theorems about the list replicate function
list-reverse-1.0 — Definitions and theorems about the list reverse function
list-take-drop-1.0 — Definitions and theorems about the list take and drop functions
list-thm-1.0 — list-thm
list-zipwith-1.0 — Definitions and theorems about the list zipWith function
list-dest-1.1 — Theory of the list destructors