Wed, 11 Feb 2015 14:48:07 +0100 added CVC4 component (and took out CVC3 from main components)
blanchet [Wed, 11 Feb 2015 14:48:07 +0100] rev 59509
added CVC4 component (and took out CVC3 from main components)
Wed, 11 Feb 2015 14:48:06 +0100 tuned default provers
blanchet [Wed, 11 Feb 2015 14:48:06 +0100] rev 59508
tuned default provers
Wed, 11 Feb 2015 12:01:56 +0000 Merge
paulson <lp15@cam.ac.uk> [Wed, 11 Feb 2015 12:01:56 +0000] rev 59507
Merge
Tue, 10 Feb 2015 17:37:06 +0000 Not a simprule, as it complicates proofs
paulson <lp15@cam.ac.uk> [Tue, 10 Feb 2015 17:37:06 +0000] rev 59506
Not a simprule, as it complicates proofs
Tue, 10 Feb 2015 16:09:30 +0000 Merge
paulson <lp15@cam.ac.uk> [Tue, 10 Feb 2015 16:09:30 +0000] rev 59505
Merge
Tue, 10 Feb 2015 16:08:11 +0000 New lemmas and a bit of tidying up.
paulson <lp15@cam.ac.uk> [Tue, 10 Feb 2015 16:08:11 +0000] rev 59504
New lemmas and a bit of tidying up.
Tue, 10 Feb 2015 23:02:39 +0100 check unused theory;
wenzelm [Tue, 10 Feb 2015 23:02:39 +0100] rev 59503
check unused theory;
Tue, 10 Feb 2015 22:52:44 +0100 tuned;
wenzelm [Tue, 10 Feb 2015 22:52:44 +0100] rev 59502
tuned;
Tue, 10 Feb 2015 20:51:43 +0100 more accurate context;
wenzelm [Tue, 10 Feb 2015 20:51:43 +0100] rev 59501
more accurate context; make SML/NJ happy;
Tue, 10 Feb 2015 17:13:23 +0100 merged
wenzelm [Tue, 10 Feb 2015 17:13:23 +0100] rev 59500
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip