2012-04-27 agoclarified signature;
wenzelm [Fri, 27 Apr 2012 22:47:30 +0200] rev 47815
clarified signature;

2012-04-27 agoavoid spurious warning in invisible context, notably Haftmann-Wenzel sandwich;
wenzelm [Fri, 27 Apr 2012 21:47:47 +0200] rev 47814
avoid spurious warning in invisible context, notably Haftmann-Wenzel sandwich;

2012-04-27 agomade Context_Position independent from Config;
wenzelm [Fri, 27 Apr 2012 21:44:44 +0200] rev 47813
made Context_Position independent from Config;

2012-04-27 agouse Nitpick as an oracle for finite problems
blanchet [Fri, 27 Apr 2012 22:36:27 +0200] rev 47812
use Nitpick as an oracle for finite problems

2012-04-27 agoadd extensionality to first-order provers
blanchet [Fri, 27 Apr 2012 22:36:27 +0200] rev 47811
add extensionality to first-order provers

2012-04-27 agoavoid duplicate helpers
blanchet [Fri, 27 Apr 2012 22:36:27 +0200] rev 47810
avoid duplicate helpers

2012-04-27 agomention tools and packages earlier;
wenzelm [Fri, 27 Apr 2012 21:24:30 +0200] rev 47809
mention tools and packages earlier;

2012-04-27 agotuned;
wenzelm [Fri, 27 Apr 2012 21:17:35 +0200] rev 47808
tuned;

2012-04-27 agotuned;
wenzelm [Fri, 27 Apr 2012 21:13:55 +0200] rev 47807
tuned;

2012-04-27 agotuned;
wenzelm [Fri, 27 Apr 2012 21:02:34 +0200] rev 47806
tuned;