Mordor OpenTheory Repo - Package list-reverse-1.31

Sunset Tree

Package list-reverse-1.31

Information

versions	1.8→ ··· →1.25→1.28→ 1.31 →1.32→1.33→ ··· → 1.50
description	The list reverse function
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	22:02:23 on Monday 26 March 2012

For more details see the package document.

Includes

list-reverse-def-1.29 — Definition of the list reverse function
list-reverse-thm-1.14 — Properties of the list reverse function

Included By

list-1.55 — List types