2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-21 haftmann 2014-09-21 explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
2013-12-28 haftmann 2013-12-28 move instantiation here from AFP/Native_Word
2013-12-23 haftmann 2013-12-23 prefer "Bits" as theory name for abstract bit operations, similar to "Orderings", "Lattices", "Groups" etc.