Text this: The Gauge Integral Theory in HOL4