removed odd cvs artifacts;
HTML 4.01 Transitional conformity
DOCTYPE declaration added
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
updated
new entries
New UNITY theory