Sat, 17 Sep 2011 00:37:21 +0200 tuned
haftmann [Sat, 17 Sep 2011 00:37:21 +0200] rev 44945
tuned
Sat, 17 Sep 2011 04:41:44 +0200 tuned post fixpoint setup
nipkow [Sat, 17 Sep 2011 04:41:44 +0200] rev 44944
tuned post fixpoint setup
Sat, 17 Sep 2011 03:37:14 +0200 merged
nipkow [Sat, 17 Sep 2011 03:37:14 +0200] rev 44943
merged
Fri, 16 Sep 2011 09:18:15 +0200 when applying induction rules, remove names of assumptions that come
nipkow [Fri, 16 Sep 2011 09:18:15 +0200] rev 44942
when applying induction rules, remove names of assumptions that come with the rule in case the rule is transformed by the simplifier due to instantiations
Fri, 16 Sep 2011 20:08:29 +0200 remove stray "using [[simp_trace]]"
noschinl [Fri, 16 Sep 2011 20:08:29 +0200] rev 44941
remove stray "using [[simp_trace]]"
Fri, 16 Sep 2011 20:02:35 +0200 tune indenting
noschinl [Fri, 16 Sep 2011 20:02:35 +0200] rev 44940
tune indenting
Fri, 16 Sep 2011 12:10:43 +1000 removed unused legacy lemma names, some comment cleanup.
kleing [Fri, 16 Sep 2011 12:10:43 +1000] rev 44939
removed unused legacy lemma names, some comment cleanup.
Fri, 16 Sep 2011 12:10:15 +1000 removed word_neq_0_conv from simpset, it's almost never wanted.
kleing [Fri, 16 Sep 2011 12:10:15 +1000] rev 44938
removed word_neq_0_conv from simpset, it's almost never wanted.
Thu, 15 Sep 2011 12:40:08 -0400 removed further legacy rules from Complete_Lattices
hoelzl [Thu, 15 Sep 2011 12:40:08 -0400] rev 44937
removed further legacy rules from Complete_Lattices
Thu, 15 Sep 2011 17:06:00 +0200 NEWS on Complete_Lattices, Lattices
noschinl [Thu, 15 Sep 2011 17:06:00 +0200] rev 44936
NEWS on Complete_Lattices, Lattices
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip