src/HOL/Word/WordGenLib.thy
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Thu, 26 Mar 2009 20:08:55 +0100 wenzelm interpretation/interpret: prefixes are mandatory by default;
Sat, 21 Feb 2009 09:58:26 +0100 nipkow removed redundant thms
Tue, 17 Feb 2009 18:48:17 +0100 nipkow Cleaned up IntDiv and removed subsumed lemmas.
Mon, 26 Jan 2009 22:14:16 +0100 haftmann entry point for Word library now named Word
Tue, 16 Dec 2008 15:09:12 +0100 ballarin More porting to new locales.
Tue, 10 Jun 2008 21:50:05 +0200 wenzelm recovered nat_induct as default for induct_tac;
Tue, 10 Jun 2008 19:45:53 +0200 wenzelm adhoc fix of induct_tac: rule nat_induct;
Fri, 04 Apr 2008 13:40:25 +0200 haftmann renamed app2 to map2
Thu, 08 Nov 2007 20:08:00 +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;
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