Mordor OpenTheory Repo - Package option-1.13

Sunset Tree

Package option-1.13

Information

versions	1.13 →1.15→1.17→ ··· → 1.72
description	Basic theory of option types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	18:41:18 on Thursday 14 July 2011

For more details see the package document.

Includes

option-def-1.7 — option-def
option-dest-1.11 — Theory of the option destructors
option-thm-1.7 — option-thm

Included By

base-1.18 — The standard theory library