paulson [Mon, 15 Nov 2004 12:13:14 +0100] rev 15285
Renamed some variables to eliminate conflicts with constants.
Introduced some abbreviations (following TPTP axiom sets) to reduce the
amount of repetition.
Uncommented some examples, which increases the runtime somewhat.