A New Implementation of Automath