Gilith OpenTheory Repo - Package word-bits-1.60

Sunset Tree

Package word-bits-1.60

Information

versions	1.1→ ··· →1.52→1.55→ 1.60 →1.69→1.72→ ··· → 1.100
description	Word to bit-list conversions
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	18:57:02 on Sunday 17 June 2012

For more details see the package document.

Includes

word-bits-def-1.55 — Definition of word to bit-list conversions
word-bits-thm-1.64 — Properties of word to bit-list conversions

Included By

word-1.65 — Parametric theory of words