src/HOL/Word/Bit_Representation.thy
Thu, 06 Aug 2015 23:56:48 +0200 haftmann slight cleanup of lemmas
Wed, 25 Mar 2015 10:44:57 +0100 wenzelm prefer local fixes;
Sun, 02 Nov 2014 16:54:06 +0100 wenzelm modernized header;
Thu, 30 Oct 2014 21:02:01 +0100 haftmann more simp rules concerning dvd and even/odd
Thu, 09 Oct 2014 22:43:48 +0200 haftmann more foundational definition for predicate even
Sun, 21 Sep 2014 16:56:11 +0200 haftmann explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
Sat, 28 Dec 2013 21:06:25 +0100 haftmann dropped junk
Wed, 25 Dec 2013 17:39:06 +0100 haftmann prefer more canonical names for lemmas on min/max
Mon, 23 Dec 2013 14:24:21 +0100 haftmann syntactically tuned
Mon, 23 Dec 2013 14:24:20 +0100 haftmann prefer plain bool over dedicated type for binary digits
Tue, 19 Nov 2013 10:05:53 +0100 haftmann eliminiated neg_numeral in favour of - (numeral _)
Fri, 01 Nov 2013 18:51:14 +0100 haftmann more simplification rules on unary and binary minus
Fri, 06 Sep 2013 20:59:36 +0200 haftmann slight cleanup of lemma locations; tuned proof
Sun, 18 Aug 2013 15:29:50 +0200 haftmann some vague grouping of related theorems, with slight tuning of headings and sorting out of dubious lemmas into separate theory
Fri, 30 Mar 2012 12:02:23 +0200 huffman restate various simp rules for word operations using pred_numeral
less more (0) -15 tip