[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,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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