Don't know why git kept wanting to change these lines. There doesn't appear to be extra white space, etc.
Commenting out things that prevent building
Adding default malefile genrerate by CoqIDE.  Doesn't yet work in conjunction with the IDE though (make clean; make all) doesn't produce files that can be evaluated in the IDE. 'Complains that Sflib has inconsistent assumptions with Logic'
Adding figures for trace patern equivalence