haftmann [Thu, 04 Dec 2008 14:43:33 +0100] rev 28965
cleaned up binding module and related code
nipkow [Thu, 04 Dec 2008 14:17:36 +0100] rev 28964
NEWS
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;
haftmann [Wed, 03 Dec 2008 15:59:56 +0100] rev 28953
merged
haftmann [Wed, 03 Dec 2008 15:58:44 +0100] rev 28952
made repository layout more coherent with logical distribution structure; stripped some $Id$s