Sat, 27 Aug 2011 13:26:06 +0200 more precise treatment of nodes that are fully required for partially visible ones;
wenzelm [Sat, 27 Aug 2011 13:26:06 +0200] rev 44544
more precise treatment of nodes that are fully required for partially visible ones;
Sat, 27 Aug 2011 12:22:24 +0200 de-assigned commands also count as changed;
wenzelm [Sat, 27 Aug 2011 12:22:24 +0200] rev 44543
de-assigned commands also count as changed;
Sat, 27 Aug 2011 11:22:21 +0200 beef up sledgehammer_tac in Mirabelle some more
blanchet [Sat, 27 Aug 2011 11:22:21 +0200] rev 44542
beef up sledgehammer_tac in Mirabelle some more
Sat, 27 Aug 2011 11:22:11 +0200 merged
blanchet [Sat, 27 Aug 2011 11:22:11 +0200] rev 44541
merged
Fri, 26 Aug 2011 21:52:11 +0200 change default for generation of tag idempotence and tag argument equations
blanchet [Fri, 26 Aug 2011 21:52:11 +0200] rev 44540
change default for generation of tag idempotence and tag argument equations
Fri, 26 Aug 2011 15:11:33 -0700 merged
huffman [Fri, 26 Aug 2011 15:11:33 -0700] rev 44539
merged
Fri, 26 Aug 2011 15:11:26 -0700 NEWS entry for setsum_norm ~> norm_setsum
huffman [Fri, 26 Aug 2011 15:11:26 -0700] rev 44538
NEWS entry for setsum_norm ~> norm_setsum
Fri, 26 Aug 2011 15:00:00 -0700 make HOL-Probability respect set/pred distinction
huffman [Fri, 26 Aug 2011 15:00:00 -0700] rev 44537
make HOL-Probability respect set/pred distinction
Fri, 26 Aug 2011 23:14:36 +0200 merged
wenzelm [Fri, 26 Aug 2011 23:14:36 +0200] rev 44536
merged
Wed, 08 Sep 2010 16:10:49 -0700 use rename_tac to make proof script more robust (with separate set type, 'clarify' yields different variable names)
huffman [Wed, 08 Sep 2010 16:10:49 -0700] rev 44535
use rename_tac to make proof script more robust (with separate set type, 'clarify' yields different variable names)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip