22/11/01: NLP010+1 - Removed. Dupplicate of NLP009+1.
22/11/01: NLP010-1 - Removed. Dupplicate of NLP009-1.
14/03/02: PLA024+1 - Combined multiple conjecture formulae.
14/03/02: PLA025+1 - Combined multiple conjecture formulae.
14/03/02: PLA026+1 - Combined multiple conjecture formulae.
14/03/02: PLA027+1 - Combined multiple conjecture formulae.
14/03/02: PLA028+1 - Combined multiple conjecture formulae.
14/03/02: ALG003-1 - Fixed clause idempotent_element.
14/03/02: SYN552-1 - Added missing equality axioms.
19/03/02: GEO001-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO002-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO003-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO004-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO005-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO006-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO007-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO008-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO009-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO010-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO011-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO012-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO013-1 - Bug in GEO001-0.ax fixed.
19/03/02: GEO073-1 - Bug in GEO001-0.ax fixed.
26/04/02: LAT033-1 - Used axioms without the conjecture.
26/04/02: LAT034-1 - Used axioms without the conjecture.