src/HOL/Library/Bit.thy
9 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
2016-07-12 wenzelm 2016-07-12 misc tuning and modernization;
2015-07-06 wenzelm 2015-07-06 tuned proofs;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-06-12 haftmann 2015-06-12 uniform _ div _ as infix syntax for ring division
2015-06-01 haftmann 2015-06-01 separate class for division operator, with particular syntax added in more specific classes
2015-03-31 haftmann 2015-03-31 given up separate type classes demanding `inverse 0 = 0`
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-11 blanchet 2014-09-11 renamed 'rep_datatype' to 'old_rep_datatype' (HOL)
2014-02-12 blanchet 2014-02-12 adapted theories to 'xxx_case' to 'case_xxx' * * * 'char_case' -> 'case_char' and same for 'rec' * * * compile * * * renamed 'xxx_case' to 'case_xxx'
2013-11-19 haftmann 2013-11-19 eliminiated neg_numeral in favour of - (numeral _)
2013-08-18 haftmann 2013-08-18 explicit conversion from and to bool, and into algebraic structures with 0 and 1
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-11-30 wenzelm 2011-11-30 discontinued obsolete datatype "alt_names";
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-04-26 haftmann 2010-04-26 use new classes (linordered_)field_inverse_zero
2010-04-26 haftmann 2010-04-26 class division_ring_inverse_zero
2009-05-20 haftmann 2009-05-20 eliminated case input syntax on bits
2009-02-26 huffman 2009-02-26 remove unnecessary simp rules
2009-02-19 huffman 2009-02-19 add rule for minus 1 at type bit
2009-02-19 huffman 2009-02-19 add formalization of a type of integers mod 2 to Library