wenzelm [Mon, 09 Jun 2014 11:05:43 +0200] rev 58657
clarified section structure;
wenzelm [Fri, 06 Jun 2014 21:42:50 +0200] rev 58656
tuned;
wenzelm [Fri, 06 Jun 2014 21:35:23 +0200] rev 58655
more on Query panel;
wenzelm [Fri, 06 Jun 2014 12:10:33 +0200] rev 58654
updated screenshots;
wenzelm [Thu, 05 Jun 2014 10:54:00 +0200] rev 58653
more on Query panel -- updated Find Theorems;
wenzelm [Wed, 04 Jun 2014 18:18:09 +0200] rev 58652
misc tuning and updates;
Andreas Lochbihler [Wed, 25 Jun 2014 07:49:21 +0200] rev 58651
merged
Andreas Lochbihler [Tue, 24 Jun 2014 15:05:58 +0200] rev 58650
add lemma
blanchet [Tue, 24 Jun 2014 15:49:20 +0200] rev 58649
tuning
blanchet [Tue, 24 Jun 2014 15:08:19 +0200] rev 58648
optimized traversal of proof terms by skipping bad apples (e.g. full_exhaustive_int'.pinduct)