3 ms·

Thanks for this -- I've been looking for recommendations on resources for HOL and this looks like a good one.