theory word-bits

name	word-bits
version	1.100
requires	base natural-bits word-def
meta.description	Word to bit-list conversions
meta.author	Joe Leslie-Hurd <joe@gilith.com>
meta.license	MIT
meta.show	"Data.Bool"
meta.show	"Data.List"
meta.show	"Data.Word"
meta.show	"Data.Word.Bits"
meta.show	"Number.Natural"

name	main
imports	def thm

name	def
package	word-bits-def-1.85