src/HOL/TPTP/CASC/SysDesc_Isabelle.html
changeset 60719 b6713e04889e
parent 60717 9a14d574ea65
child 64561 a7664ca9ffc5
--- 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>