changes in HOL
new screenshots