2012-03-30 huffman move more theorems from Nat_Numeral.thy to Num.thy
2012-03-30 wenzelm "invariant" is free in main HOL (cf. 56adbf5bcc82, e64ffc96a49f);
2012-03-30 wenzelm more robust ISABELLE_JDK_HOME settings, based on exisiting JAVA_HOME provided by isatest shell environment (which depends a lot on the host);
2012-03-30 wenzelm more explicit isatest environment settings (from private .bashrc);
2012-03-30 huffman merged
2012-03-30 huffman fix search-and-replace errors
2012-03-30 huffman move lemma card_UNIV_bool from Nat_Numeral.thy to Finite_Set.thy
2012-03-30 huffman add constant pred_numeral k = numeral k - (1::nat);
2012-03-30 huffman move lemmas from Nat_Numeral.thy to Nat.thy
2012-03-30 huffman move lemmas from Nat_Numeral to Int.thy and Num.thy
2012-03-30 bulwahn merged
2012-03-30 bulwahn adding theory to prove completeness of the exhaustive generators
2012-03-30 bulwahn refine bindings in quickcheck_common: do not conceal and do not declare as simps
2012-03-30 bulwahn hiding fact not so aggressively
2012-03-30 haftmann power on predicate relations
2012-03-29 sultana made Mirabelle-SH's 'trivial' check optional;
2012-03-29 wenzelm merged
2012-03-29 wenzelm more specific notion of partiality (cf. Scala version);
2012-03-29 kuncar use qualified names for rsp and rep_eq theorems in quotient_def
2012-03-29 bulwahn announcing NEWS (cf. 446cfc760ccf)
2012-03-29 huffman remove obsolete simp rule for powers
2012-03-29 huffman remove duplicate lemmas power_m1_{even,odd} in favor of power_minus1_{even,odd}
2012-03-29 huffman remove unneeded rewrite rules for powers of numerals
2012-03-29 huffman remove duplicate lemma Suc_numeral
2012-03-29 huffman move many lemmas from Nat_Numeral.thy to Power.thy or Num.thy
2012-03-29 huffman bootstrap Num.thy before Power.thy;
2012-03-29 haftmann educated guess to include jdk
2012-03-28 nipkow improved robustness with new antiquoation by Makarius
2012-03-28 nipkow merged
2012-03-28 nipkow updates
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip