[isabelle] Bitstrings as list of bools or ints

Hello all,
in HOL-Word, there are two competing formalisations of ints as bit strings:

* Bit_Representation.thy with an implicit representation using
constructors and destructors etc. (on using bit instead of bool see my
previous mail);
* Bool_List_Representation.thy with an explicit representation as list
of bools.

Currently, they stand side by side. But one could be more easily
developed in terms of the other.
For this, it is helpful to know which of there (both, one, none) are
actually used in existing applications.
Thanks for any hint,


PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.