Mordor OpenTheory Repo - Package list-reverse-1.35

Sunset Tree

Package list-reverse-1.35

Information

versions	1.8→ ··· →1.32→1.33→ 1.35 →1.38→1.40→ ··· → 1.50
description	The list reverse function
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	18:46:08 on Sunday 17 June 2012

For more details see the package document.

Includes

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

Included By

list-1.63 — List types