Teaching a HOL Course: Experience Report

Experience from teaching a course in Higher Order Logic theorem proving is recounted, from both the student and teacher perspective.