---- CRITICAL FOR NEXT VERSION -----------------------------------------------
---- Reasonable, but hard to realize -----------------------------------------
22.10.93
Figure 7, Legend, Field Vs
That field needs to be extended to inculde all the % Version information.
Before the I > A > C stuff, there should be the axiomatisation citation.
After the I > A > C stuff, there should be an indicator "TF" if a 
different theorem formulation has been used.

Figure 7, Legend, Av field
I still think this field should be number of literals, not averege per clause.
I'd prefer to calculate the average, rather than the opposite. The number of
literals is a more fundamental measurement.

---- Checks to be done -------------------------------------------------------