2009-09-23 Added "nitpick_const_simp" tags to lazy list theories.
blanchet [Wed, 23 Sep 2009 13:47:08 +0200] rev 32655
Added "nitpick_const_simp" tags to lazy list theories. (Will be useful once Nitpick is integrated in Isabelle.)
2009-09-23 atbroy101 is long dead, use atbroy99; comment out broken SML test invocation
krauss [Wed, 23 Sep 2009 13:48:35 +0200] rev 32654
atbroy101 is long dead, use atbroy99; comment out broken SML test invocation
2009-09-23 merged
haftmann [Wed, 23 Sep 2009 13:42:53 +0200] rev 32653
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip