src/HOL/Word/Bool_List_Representation.thy
2011-02-25 nipkow 2011-02-25 added simp lemma nth_Cons_pos to List
2010-07-01 haftmann 2010-07-01 avoid bitstrings in generated code
2010-06-30 haftmann 2010-06-30 more speaking names