Mordor OpenTheory Repo - Package word-bits-1.33

Sunset Tree

Package word-bits-1.33

Information

versions	1.0→1.1→1.26→ 1.33 →1.35→1.39→ ··· → 1.100
description	Word to bit-list conversions
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	03:34:08 on Monday 30 January 2012

For more details see the package document.

Includes

word-bits-def-1.33 — Definition of word to bit-list conversions
word-bits-thm-1.36 — Properties of word to bit-list conversions

Included By

word-1.37 — Parametric theory of words