Thomas M. DuBuisson 6a7477ba6c Half-fix but not quite issue #256 (Bool ~> Bit). ... We should probably discuss why we want to call things "Bool" if this was more concious than incidental. That and change the documentation to match.		2015-07-03 14:19:56 -07:00
..
Cryptol.cry	Half-fix but not quite issue #256 (Bool ~> Bit).	2015-07-03 14:19:56 -07:00