isabelle: Changelog

huffman [Wed, 03 Dec 2008 21:00:39 -0800] rev 28963

fix proofs related to simplification of inequalities on numerals

huffman [Wed, 03 Dec 2008 20:45:42 -0800] rev 28962

enable le_bin_simps and less_bin_simps for simplifying inequalities on numerals

huffman [Wed, 03 Dec 2008 20:24:17 -0800] rev 28961

simplify proof of less_nat_number_of

huffman [Wed, 03 Dec 2008 15:04:37 -0800] rev 28960

merged.

huffman [Wed, 03 Dec 2008 15:00:50 -0800] rev 28959

fixed proofs due to changes in Int.thy

huffman [Wed, 03 Dec 2008 14:23:03 -0800] rev 28958

cleaned up subsection headings; added simp rules for comparisons on binary numbers

wenzelm [Wed, 03 Dec 2008 21:22:38 +0100] rev 28957

sources are not executable;

wenzelm [Wed, 03 Dec 2008 21:15:46 +0100] rev 28956

eliminated traces of old Distribution directory;

wenzelm [Wed, 03 Dec 2008 21:02:20 +0100] rev 28955

merged

wenzelm [Wed, 03 Dec 2008 21:02:12 +0100] rev 28954

remove *.lof as well;

isabelle