Gilith OpenTheory Repo - Package word-bits-1.39

Sunset Tree

Package word-bits-1.39

Information

versions	1.1→ ··· →1.33→1.35→ 1.39 →1.44→1.52→ ··· → 1.100
description	Word to bit-list conversions
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	21:09:59 on Friday 9 March 2012

For more details see the package document.

Includes

word-bits-def-1.39 — Definition of word to bit-list conversions
word-bits-thm-1.42 — Properties of word to bit-list conversions

Included By

word-1.43 — Parametric theory of words