Gilith OpenTheory Repo - Package list-dest-1.22

Sunset Tree

Package list-dest-1.22

Information

versions	1.0→ ··· →1.12→1.13→ 1.22 →1.26→1.28→ ··· → 1.50
description	List type destructors
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	21:39:29 on Thursday 1 December 2011

For more details see the package document.

Includes

list-dest-def-1.24 — Definition of list type destructors
list-dest-thm-1.8 — Properties of list type destructors

Included By

list-1.40 — List types