Mordor OpenTheory Repo - Package option-1.15

Sunset Tree

Package option-1.15

Information

versions	1.13→ 1.15 →1.17→1.18→ ··· → 1.72
description	Basic theory of option types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	23:05:58 on Wednesday 20 July 2011

For more details see the package document.

Includes

option-def-1.9 — option-def
option-dest-1.13 — Theory of the option destructors
option-thm-1.8 — option-thm

Included By

base-1.21 — The standard theory library