Mordor OpenTheory Repo - Package list-reverse-1.22

Sunset Tree

Package list-reverse-1.22

Information

versions	1.8→ ··· →1.11→1.12→ 1.22 →1.25→1.28→ ··· → 1.50
description	The list reverse function
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	21:19:37 on Thursday 1 December 2011

For more details see the package document.

Includes

list-reverse-def-1.21 — Definition of the list reverse function
list-reverse-thm-1.10 — Properties of the list reverse function

Included By

list-1.40 — List types