Gilith OpenTheory Repo - Package list-append-1.28

Sunset Tree

Package list-append-1.28

Information

versions	1.0→ ··· →1.12→1.23→ 1.28 →1.30→1.34→ ··· → 1.59
description	The list append function
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	05:08:15 on Monday 30 January 2012

For more details see the package document.

Includes

list-append-def-1.24 — Definition of the list append function
list-append-thm-1.15 — Properties of the list append function

Included By

list-1.47 — List types