isabelle: Changelog

haftmann [Mon, 21 May 2007 19:11:42 +0200] rev 23063

tuned

haftmann [Mon, 21 May 2007 19:11:41 +0200] rev 23062

evaluation for integers

haftmann [Mon, 21 May 2007 19:11:40 +0200] rev 23061

added lemma divAlg_div_mof

haftmann [Mon, 21 May 2007 19:11:39 +0200] rev 23060

improved code for rev

haftmann [Mon, 21 May 2007 19:11:38 +0200] rev 23059

min/max

huffman [Mon, 21 May 2007 19:05:37 +0200] rev 23058

generalize CombineNumerals functor to allow coefficients with types other than IntInf.int

huffman [Mon, 21 May 2007 18:53:04 +0200] rev 23057

add lemmas divide_numeral_1 and inverse_numeral_1

krauss [Mon, 21 May 2007 16:39:58 +0200] rev 23056

fixed signature

krauss [Mon, 21 May 2007 16:22:46 +0200] rev 23055

Method "lexicographic_order" now takes the same arguments as "auto"

narboux [Mon, 21 May 2007 16:19:56 +0200] rev 23054

change fresh_fun_simp to treat occurences in assumptions and try to solve the generated subgoals

isabelle