08/08/09 - SYN000^2 - Fixed connective_terms and pi_sigma_operators so they're
           well typed.
21/08/09 - NLP560+1 NLP561+1 NLP562+1 NLP563+1 - Added _c to constants that 
           were the same as predicates, in NLP001+0.ax.
21/08/09 - GEO206+3 - Fixed conjecture.
01/09/09 - SYN000^2 SYN000+2 SYN000-2 - Added more numbers, particularly 
           rationals.
04/09/09 - CSR075+* to CSR109=* - Bugfixes in CSR003 axiom files.
10/11/09 - SWV437^1 SWV438^1 SWV439^1 SWV440^1 - Deleted duplicate declaration 
           of loca