Gilith OpenTheory Repo - Package option-1.18

Sunset Tree

Package option-1.18

Information

versions	1.0→1.2→1.17→ 1.18 →1.33→1.40→ ··· → 1.72
description	Basic theory of option types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	02:10:28 on Monday 17 October 2011

For more details see the package document.

Includes

option-def-1.11 — option-def
option-dest-1.15 — Theory of the option destructors
option-thm-1.10 — option-thm

Included By

base-1.39 — The standard theory library