src/HOL/Library/word_setup.ML
Wed, 06 Sep 2006 13:48:02 +0200 haftmann got rid of Numeral.bin type
Wed, 07 Jun 2006 02:01:28 +0200 wenzelm renamed Type.(un)varifyT to Logic.(un)varifyT;
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Mon, 17 Oct 2005 23:10:13 +0200 wenzelm change_claset/simpset;
Mon, 20 Jun 2005 22:13:59 +0200 wenzelm get_thm(s): Name;
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 24 Jan 2005 18:16:57 +0100 berghofe Adapted to modified interface of PureThy.get_thm(s).
Thu, 01 Jul 2004 12:29:53 +0200 paulson new treatment of binary numerals
Mon, 29 Mar 2004 15:35:04 +0200 skalberg Added bitvector library (Word) to HOL/Library and a theory using it (Adder)
less more (0) tip