Vithoulkas View 2006

The Vithoulkas View 2006 has been made available already as a Synthesis Update Logfile for Synthesis 9.1. This information has now been integrated into Synthesis 9.2 Treasure Edition

At the same time, we made some small corrections to the existing views: some recent provings were also shown in the "Quantum view - conservative", they are now only visible in the "Millennium View - progressive" (and in the "Full Synthesis" view).