isabelle: Changelog

huffman [Tue, 21 Aug 2007 02:30:14 +0200] rev 24376

add lemma one_less_power

huffman [Tue, 21 Aug 2007 02:15:13 +0200] rev 24375

move scast/ucast stuff to its own subsection

huffman [Tue, 21 Aug 2007 01:07:05 +0200] rev 24374

move shifting-related constant definitions from WordDefinition to WordShift

wenzelm [Tue, 21 Aug 2007 00:24:10 +0200] rev 24373

use HOL-ex later;

wenzelm [Mon, 20 Aug 2007 23:41:43 +0200] rev 24372

standard_parse_term: added pp/check argument, include disambig here (from sign.ML);

wenzelm [Mon, 20 Aug 2007 23:41:40 +0200] rev 24371

inner syntax: added parse_term/prop;

wenzelm [Mon, 20 Aug 2007 23:41:37 +0200] rev 24370

read_def_terms: moved disambig to syntax.ML;

wenzelm [Mon, 20 Aug 2007 23:41:35 +0200] rev 24369

tuned CRITICAL sections;

huffman [Mon, 20 Aug 2007 23:35:51 +0200] rev 24368

remove redundant lemma int_number_of

huffman [Mon, 20 Aug 2007 23:00:17 +0200] rev 24367

AC rules for bitwise logical operators no longer declared simp

isabelle