It looks like there's been a new release of mizar (version 7.8.07, MML 4.93.997). What are the new features? Curious, Jesse -- Jesse Alama (alama@stanford.edu)