src/HOL/Word/WordBitwise.thy
Fri, 14 Feb 2014 07:53:45 +0100 blanchet merged 'List.map' and 'List.list.map'
Tue, 31 Dec 2013 14:29:16 +0100 wenzelm proper context for norm_hhf and derived operations;
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
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Wed, 10 Apr 2013 17:02:47 +0200 wenzelm added ML antiquotation @{theory_context};
Tue, 15 Jan 2013 17:28:46 +0100 wenzelm avoid handling arbitrary exceptions, notably physical interrupts that would make the program erratic;
Sat, 17 Nov 2012 17:55:52 +0100 wenzelm tuned signature;
Fri, 19 Oct 2012 15:12:52 +0200 webertj Renamed {left,right}_distrib to distrib_{right,left}.
Tue, 17 Apr 2012 16:21:47 +1000 Thomas Sewell New tactic "word_bitwise" expands word equalities/inequalities into logic.
Wed, 30 Jun 2010 16:28:13 +0200 haftmann use existing bit type from theory Bit
Wed, 20 Jan 2010 11:56:45 +0100 bulwahn refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck
Mon, 27 Apr 2009 11:27:19 +0200 haftmann explicit is better than implicit
Thu, 26 Mar 2009 20:08:55 +0100 wenzelm interpretation/interpret: prefixes are mandatory by default;
Mon, 26 Jan 2009 22:14:18 +0100 haftmann stripped Id
Tue, 16 Dec 2008 15:09:12 +0100 ballarin More porting to new locales.
Wed, 07 May 2008 10:59:42 +0200 berghofe Deleted subset_antisym in a few proofs, because it is
Fri, 04 Apr 2008 13:40:25 +0200 haftmann renamed app2 to map2
Sat, 15 Mar 2008 22:07:29 +0100 wenzelm avoid unclear fact references;
Thu, 08 Nov 2007 20:08:01 +0100 wenzelm eliminated illegal schematic variables in where/of;
Tue, 28 Aug 2007 20:13:47 +0200 huffman revert to Word library version from 2007/08/20
Wed, 22 Aug 2007 21:09:21 +0200 huffman removed Word/Size.thy;
Wed, 22 Aug 2007 16:55:46 +0200 huffman move bool list operations from WordBitwise to WordBoolList
Wed, 22 Aug 2007 02:04:30 +0200 huffman move bool list stuff from WordDefinition and WordArith to new WordBoolList theory
Mon, 20 Aug 2007 23:35:51 +0200 huffman remove redundant lemma int_number_of
Mon, 20 Aug 2007 23:00:17 +0200 huffman AC rules for bitwise logical operators no longer declared simp
Mon, 20 Aug 2007 19:51:01 +0200 huffman use overloaded bitwise operators at type int
Mon, 20 Aug 2007 18:11:09 +0200 huffman headers for document generation
Mon, 20 Aug 2007 04:34:31 +0200 kleing * HOL-Word:
less more (0) tip