HOL which is already completed but want to do again, how it is possible?
You can enroll for the course again and even extent the time during the lab exercise.