remove obsolete files
added new version of fourth refinement
added tex files for 5.9 doc
update model and doc 5.9 (up to proof PROPERTY_5.9_02)