Mon, 21 May 2007 19:13:38 +0200 add a bottom up search function
narboux [Mon, 21 May 2007 19:13:38 +0200] rev 23064
add a bottom up search function
Mon, 21 May 2007 19:11:42 +0200 tuned
haftmann [Mon, 21 May 2007 19:11:42 +0200] rev 23063
tuned
Mon, 21 May 2007 19:11:41 +0200 evaluation for integers
haftmann [Mon, 21 May 2007 19:11:41 +0200] rev 23062
evaluation for integers
Mon, 21 May 2007 19:11:40 +0200 added lemma divAlg_div_mof
haftmann [Mon, 21 May 2007 19:11:40 +0200] rev 23061
added lemma divAlg_div_mof
Mon, 21 May 2007 19:11:39 +0200 improved code for rev
haftmann [Mon, 21 May 2007 19:11:39 +0200] rev 23060
improved code for rev
Mon, 21 May 2007 19:11:38 +0200 min/max
haftmann [Mon, 21 May 2007 19:11:38 +0200] rev 23059
min/max
Mon, 21 May 2007 19:05:37 +0200 generalize CombineNumerals functor to allow coefficients with types other than IntInf.int
huffman [Mon, 21 May 2007 19:05:37 +0200] rev 23058
generalize CombineNumerals functor to allow coefficients with types other than IntInf.int
Mon, 21 May 2007 18:53:04 +0200 add lemmas divide_numeral_1 and inverse_numeral_1
huffman [Mon, 21 May 2007 18:53:04 +0200] rev 23057
add lemmas divide_numeral_1 and inverse_numeral_1
Mon, 21 May 2007 16:39:58 +0200 fixed signature
krauss [Mon, 21 May 2007 16:39:58 +0200] rev 23056
fixed signature
Mon, 21 May 2007 16:22:46 +0200 Method "lexicographic_order" now takes the same arguments as "auto"
krauss [Mon, 21 May 2007 16:22:46 +0200] rev 23055
Method "lexicographic_order" now takes the same arguments as "auto"
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip