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
Thu, 15 Sep 2011 10:57:40 +0200 tail recursive proof preprocessing (needed for huge proofs)
blanchet [Thu, 15 Sep 2011 10:57:40 +0200] rev 44935
tail recursive proof preprocessing (needed for huge proofs)
Thu, 15 Sep 2011 10:57:40 +0200 tuning
blanchet [Thu, 15 Sep 2011 10:57:40 +0200] rev 44934
tuning
Thu, 15 Sep 2011 09:44:27 +0200 merged
nipkow [Thu, 15 Sep 2011 09:44:27 +0200] rev 44933
merged
Thu, 15 Sep 2011 09:44:08 +0200 revised AbsInt and added widening and narrowing
nipkow [Thu, 15 Sep 2011 09:44:08 +0200] rev 44932
revised AbsInt and added widening and narrowing
Wed, 14 Sep 2011 23:47:04 +0200 updated comment
haftmann [Wed, 14 Sep 2011 23:47:04 +0200] rev 44931
updated comment
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip