Stateless HOL Dedicated to Roel de Vrijer, in the tradition of Automath

by Freek Wiedijk