Gilith OpenTheory Repo - Package word-bits-1.52

Sunset Tree

Package word-bits-1.52

Information

versions	1.1→ ··· →1.39→1.44→ 1.52 →1.55→1.60→ ··· → 1.100
description	Word to bit-list conversions
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	23:58:15 on Monday 4 June 2012

For more details see the package document.

Includes

word-bits-def-1.48 — Definition of word to bit-list conversions
word-bits-thm-1.56 — Properties of word to bit-list conversions

Included By

word-1.57 — Parametric theory of words