src/HOL/Library/Bit.thy
Thu, 11 Sep 2014 18:54:36 +0200 blanchet renamed 'rep_datatype' to 'old_rep_datatype' (HOL)
Wed, 12 Feb 2014 08:35:57 +0100 blanchet adapted theories to 'xxx_case' to 'case_xxx'
Tue, 19 Nov 2013 10:05:53 +0100 haftmann eliminiated neg_numeral in favour of - (numeral _)
Sun, 18 Aug 2013 15:29:50 +0200 haftmann explicit conversion from and to bool, and into algebraic structures with 0 and 1
Fri, 12 Oct 2012 18:58:20 +0200 wenzelm discontinued obsolete typedef (open) syntax;
Sun, 25 Mar 2012 20:15:39 +0200 huffman merged fork with new numeral representation (see NEWS)
Wed, 30 Nov 2011 23:30:08 +0100 wenzelm discontinued obsolete datatype "alt_names";
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Mon, 26 Apr 2010 15:37:50 +0200 haftmann use new classes (linordered_)field_inverse_zero
Mon, 26 Apr 2010 11:34:17 +0200 haftmann class division_ring_inverse_zero
Wed, 20 May 2009 15:35:12 +0200 haftmann eliminated case input syntax on bits
Thu, 26 Feb 2009 08:44:44 -0800 huffman remove unnecessary simp rules
Thu, 19 Feb 2009 12:26:32 -0800 huffman add rule for minus 1 at type bit
Thu, 19 Feb 2009 12:03:31 -0800 huffman add formalization of a type of integers mod 2 to Library
less more (0) tip