# HG changeset patch
# User blanchet
# Date 1436808358 -7200
# Node ID b6713e04889ea3256d21bb8ed78572670c6687ca
# Parent  b88a1279c8eac5038cff56a46461d6ccc6f1cd76
tuned description

diff -r b88a1279c8ea -r b6713e04889e src/HOL/TPTP/CASC/SysDesc_Isabelle.html
--- a/src/HOL/TPTP/CASC/SysDesc_Isabelle.html	Mon Jul 13 19:22:55 2015 +0200
+++ b/src/HOL/TPTP/CASC/SysDesc_Isabelle.html	Mon Jul 13 19:25:58 2015 +0200
@@ -29,10 +29,11 @@
 </pre></blockquote>
 
 <P>
-Two versions of Isabelle participate this year. The <em>demo</em> (or HOT) version
+Isabelle is available in two versions. The <em>demo</em> (or HOT) version
 includes its competitors LEO-II [<A HREF="#References">BPTF08</A>] and Satallax
 [<A HREF="#References">Bro12</A>] as Sledgehammer backends, whereas the
-<em>competition</em> version leaves them out.
+<em>competition</em> version leaves them out. As the name suggests,
+only the competition version takes part in the competition.
 
 <H3>Strategies</H3>