Mordor OpenTheory Repo - Package sum-def-1.47

Sunset Tree

Package sum-def-1.47

Information

versions	1.7→ ··· →1.44→1.46→ 1.47 →1.49→1.54→ ··· → 1.67
description	Definition of sum types
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	04:23:22 on Monday 11 June 2012

For more details see the package document.

Included By

sum-1.40 — Sum types