added qed symbol to proof environment
revised filenames