Mordor OpenTheory Repo - Package sum-def-1.11

Sunset Tree

Package sum-def-1.11

Information

versions	1.7→1.9→1.10→ 1.11 →1.14→1.31→ ··· → 1.67
description	sum-def
author	Joe Hurd <joe@gilith.com>
license	HOLLight
installed	17:40:15 on Thursday 22 September 2011

For more details see the package document.

Included By

sum-1.10 — Basic theory of sum types