wenzelm [Thu, 19 Apr 2012 15:02:13 +0200] rev 48481
more robust Sledgehammer in Prover IDE;
wenzelm [Thu, 19 Apr 2012 14:59:17 +0200] rev 48480
test with jdk-7u3 that is also bundled;
hoelzl [Thu, 19 Apr 2012 22:21:15 +0200] rev 48479
NEWS
hoelzl [Thu, 19 Apr 2012 22:13:46 +0200] rev 48478
transfer now handles Let
nipkow [Thu, 19 Apr 2012 20:19:24 +0200] rev 48477
merged
nipkow [Thu, 19 Apr 2012 20:19:13 +0200] rev 48476
added revised version of Abs_Int
huffman [Thu, 19 Apr 2012 19:36:09 +0200] rev 48475
add transfer rule for Let
huffman [Thu, 19 Apr 2012 19:32:30 +0200] rev 48474
add code lemmas for word operations
haftmann [Thu, 19 Apr 2012 19:18:47 +0200] rev 48473
tuned whitespace
haftmann [Thu, 19 Apr 2012 19:18:11 +0200] rev 48472
dropped dead code