hoelzl [Wed, 18 Apr 2012 14:29:19 +0200] rev 48459
add lemma to equate floor and div
hoelzl [Wed, 18 Apr 2012 14:29:18 +0200] rev 48458
add powr_inj
hoelzl [Wed, 18 Apr 2012 14:29:17 +0200] rev 48457
add lemmas to rewrite powr to power
hoelzl [Wed, 18 Apr 2012 14:29:16 +0200] rev 48456
add lemmas to compare log with 0 and 1
hoelzl [Wed, 18 Apr 2012 14:29:05 +0200] rev 48455
add ceiling_diff_floor_le_1
kuncar [Thu, 19 Apr 2012 12:28:10 +0200] rev 48454
create thm names correctly
wenzelm [Thu, 19 Apr 2012 13:19:57 +0200] rev 48453
updated components according to tentative bundle;
wenzelm [Thu, 19 Apr 2012 13:15:06 +0200] rev 48452
back to isatest with official polyml-5.4.1 (cf. ffa6e10df091);
huffman [Thu, 19 Apr 2012 11:52:07 +0200] rev 48451
use simpler method for preserving bound variable names in transfer tactic
huffman [Thu, 19 Apr 2012 10:49:47 +0200] rev 48450
tuned lemmas (v)image_id;
removed duplicate of vimage_id