Update Hilbert.idr